Login | Register

A Customized ILP-Based Solver for Description Logic Reasoners


A Customized ILP-Based Solver for Description Logic Reasoners

Kazemi Zanjani, Mina (2014) A Customized ILP-Based Solver for Description Logic Reasoners. Masters thesis, Concordia University.

Text (application/pdf)
Mina_Kazemi_Zanjani.pdf - Accepted Version
Available under License Spectrum Terms of Access.


Artificial intelligence based systems are known for conveying knowledge through machines. This knowledge is often represented using logic representation languages. One of the well-known families of such languages is called Description Logic (DL) which formally reasons and represents knowledge on the concepts, roles and individuals of an application domain. DL reasoners have been evolving and upgraded through the years, however when it comes to handling more complicated ontologies with big values occurring in number restrictions, the current reasoners mostly fail to perform efficiently. One of the techniques used in DL reasoners is the so-called atomic decomposition technique which combines arithmetic and logical reasoning. This thesis presents a customized CPLEX-based solver for enhancing DL reasoners through optimizing the atomic decomposition technique. Furthermore, we provide evidence on how this method can improve the reasoning performance by optimizing atomic decomposition. For such purpose, an empirical evaluation of our system for a set of synthesized benchmarks is demonstrated.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science
Item Type:Thesis (Masters)
Authors:Kazemi Zanjani, Mina
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science
Date:April 2014
Thesis Supervisor(s):Haarslev, Volker
ID Code:978501
Deposited On:03 Jul 2014 18:03
Last Modified:18 Jan 2018 17:47
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

Downloads per month over past year

Back to top Back to top