Planning of Axiom Absorption

Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approach to encode some state-of-the-art absorption techniques into a state space planner, aiming to achieve a better solution. The planner applies appropriate operators to general axioms and produces a solution with a minimized cost to automatically organize these absorptions in a certain sequence to facilitate DL reasoning. Compared to predetermined or fixed applications of established absorptions, such a solution is more flexible and probable to absorb more general axioms into an unfoldable TBox.

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Jiewen Wu, Volker Haarslev
• Keywords: Automated Reasoning, DLOG 2008, General Axioms, Input Knowledge Base, State-of-the-art Absorption Techniques