Breadcrumb

 
 

High performance absorption algorithms for terminological reasoning in description logics

Title:

High performance absorption algorithms for terminological reasoning in description logics

Zuo, Ming (2006) High performance absorption algorithms for terminological reasoning in description logics. Masters thesis, Concordia University.

[img]
Preview
PDF - Accepted Version
2922Kb

Abstract

When reasoning with description logic (DL) knowledge bases (KBs) which contain a large number of axioms, performance is the key concern in real applications. To improve the performance, axiom absorption has been a central research issue in DL KBs. Well-known algorithms for axiom absorption, however, still heavily depend on the order and the format of the axioms occurring in the target KB. In addition, in many cases, there exist some restrictions in these algorithms which prevent axioms from being absorbed. Both the characteristics and the design of absorption algorithms for optimal reasoning are still open problems. In this thesis, we first seek to improve our theoretical understanding about the axiom absorption techniques including some related techniques such as simplification and normalization. Then we propose a criterion for the "best" absorption against experimental experience. Based on this criterion, we develop some new algorithms to absorb axioms in a KB to ameliorate the reasoning performance. The experimental tests we conducted are mostly based on synthetic benchmarks derived from common cases will occur in real KBs. The experimental evaluation demonstrates a significant runtime improvement.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Zuo, Ming
Pagination:viii, 87 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:2006
Thesis Supervisor(s):Haarvslev, V
ID Code:9092
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:44
Last Modified:18 Aug 2011 14:53
Related URLs:
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