Login | Register

Plan-based axiom absorption for tableau-based description logics reasoning


Plan-based axiom absorption for tableau-based description logics reasoning

Wu, Jiewen (2008) Plan-based axiom absorption for tableau-based description logics reasoning. Masters thesis, Concordia University.

[thumbnail of MR42537.pdf]
Text (application/pdf)
MR42537.pdf - Accepted Version


Description logic knowledge bases traditionally contain a set of axioms (Tbox) describing background knowledge. DL reasoners generally handle axioms by using the lazy unfolding technique, which reduces the nondeterminism introduced by axioms. Axiom absorption is an optimization technique that rewrites axioms into the unfoldable part of the Tbox suitable for lazy unfolding. Absorptions are generally employed in DL reasoners in a mostly uniform way regardless of the characteristics of an input knowledge base. Though there exist a number of absorptions, their overall effectiveness remains to be improved, especially when a large quantity of complex axioms are present in the knowledge bases, which is well beyond the capability of any single absorption technique. To ameliorate absorption techniques, this thesis presents a framework applying AI planning to axiom absorption. In this framework, a state space planner is used to encode state-of-the-art absorption techniques. Some designed heuristics concerning the characteristics of an input KB are utilized for the cost estimation during planning. The planner first applies appropriate absorptions to axioms, then it produces a solution with a minimized cost. Such a solution automatically organizes absorptions in a certain sequence to maximize the number of axioms for absorptions. Compared to a predetermined or fixed order of applying absorption techniques, the proposed framework benefits from the advantages to consider more absorption alternatives, which tends to be more flexible and effective.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Wu, Jiewen
Pagination:ix, 84 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Haarslev, Volker
Identification Number:LE 3 C66C67M 2008 W8
ID Code:976124
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:20
Last Modified:13 Jul 2020 20:09
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 per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top