Modularization-Based Axiom Pinpointing in the Description Logic EL+
Boontawee Suntisrivaraporn
NICTA LC SEMINARDATE: 2008-02-26
TIME: 11:00:00 - 12:00:00
LOCATION: NICTA - 7 London Circuit
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Description Logics (DLs) are a family of logic-based knowledge representation formalisms used to develop ontologies in a formally well-founded way. Most DL systems can identify an inconsistency or undesired consequence but cannot give an explanation supporting its reasoning. Axiom pinpointing has been introduced to address this problem by computing minimal sets of axioms (MinAs) that have the consequence. In our previous work, we have investigated axiom pinpointing in the DL EL+ and developed an algorithm with the help of the standard labeling techniques. This approach has proved efficient on medium-size ontology like GALEN but failed on large-scale ontology like SNOMED with almost half a million axioms.
In this talk, I will describe a new method for axiom pinpointing based
on the computation of so-called reachability-based modules which have
been introduced recently. Our experiments on SNOMED show that MinAs
are usually quite small, and that our method is fast enough to compute
such sets on demand. If time permits, a quick demo shall be given
thereafter.
