Concordia University

http://www.concordia.ca/content/shared/en/news/encs/computer-science/2018/03/24/doctoral-seminar-nikoo-karahroodi.html

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