Skip to main content
notice

March 29 – Doctoral Seminar: Nikoo Zolfaghar Karahroodi

March 26, 2018
|


Speaker: Nikoo Zolfaghar Karahroodi

Supervisors: Dr. V. Haarslev

Supervisory Committee: Drs. G. Butler, A. Hamou-Lhadj, L. Kosseim

Title: A Consequence-based Algebraic Calculus for SHOQ

Date: Thursday, March 29, 2018

Time: 11:40 a.m.

Place: EV 3.309

ABSTRACT

Description Logics (DLs) are the foundation of Semantic Web. This seminar is about a novel consequence-based algorithm to perform ontology classification in description logic SHOQ, which support nominals and Qualified Cardinality Restrictions (QCRs). Our algorithm maps numerical restrictions imposed by QCRs or nominals to inequalities and determines the feasibility of inequality systems by means of Integer Linear Programming.




Back to top

© Concordia University