Login | Register

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
2MB

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 18:44
Last Modified:18 Aug 2011 18: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

Downloads

Downloads per month over past year

Back to top Back to top