Breadcrumb

 
 

A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ

Title:

A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ

Roosta Pour, Laleh (2012) A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ. Masters thesis, Concordia University.

[img]
Preview
PDF - Accepted Version
461Kb

Abstract

We present a hybrid tableau calculus for the description logic (DL) SHIQ. The presented algorithm decides SHIQ ABox consistency and uses an algebraic approach for more informed
reasoning about qualified number restrictions (QNRs). Benefiting from integer linear programming and several optimization techniques to deal with the interaction of QNRs and inverse roles, our approach provides a more deterministic and informed calculus. In addition, a prototype reasoner based on the hybrid calculus has been implemented that decides concept satisfiability for ALCHIQ. We provide a set of benchmarks that demonstrate the effectiveness of our hybrid reasoner in comparison to other DL reasoners.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Roosta Pour, Laleh
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science
Date:18 January 2012
Thesis Supervisor(s):Haarslev, Volker
ID Code:908847
Deposited By:LALEH ROOSTAPOUR
Deposited On:20 Jun 2012 09:06
Last Modified:15 Nov 2012 17:31
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer