Login | Register

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

Title:

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.

[img]
Preview
Text (application/pdf)
MR42537.pdf - Accepted Version
3MB

Abstract

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
Date:2008
Thesis Supervisor(s):Haarslev, Volker
ID Code:976124
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:20
Last Modified:18 Jan 2018 17:41
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

Back to top Back to top