March 29 – Doctoral Seminar: Nikoo Zolfaghar Karahroodi
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
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.