Roosta Pour, Laleh (2012) A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ. Masters thesis, Concordia University.
- Accepted Version
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|
|Degree Name:||M. Comp. Sc.|
|Date:||18 January 2012|
|Thesis Supervisor(s):||Haarslev, Volker|
|Deposited By:||LALEH ROOSTAPOUR|
|Deposited On:||20 Jun 2012 13:06|
|Last Modified:||15 Nov 2012 22:31|
Repository Staff Only: item control page