Axiom Pinpointing in Description Logics

Professor Franz Baader (Technische Universitaet Dresden, Germany)

COMPUTER SCIENCE SEMINAR Logic and Computation

DATE: 2010-09-17
TIME: 12:30:00 - 13:30:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.

ABSTRACT:
Description Logics (DL) are a successful family of logic-based knowledge representation languages, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, databases, the semantic web, and biomedical ontologies. As the size of DL knowledge bases (KBs) grows, tools that support improving their quality become more important. Standard DL reasoning can be used to computed implicit consequences such as inconsistencies and inferred subsumption relationships, but it does not explain the reasons for a given consequence.

Axiom pinpointing is a first step towards providing such an explanation. Given a DL knowledge base and a consequence, it computes minimal subsets of the axioms of the KB that have the consequence (MinAs). In the talk, I will give an overview over different approaches for computing MinAs employed in the DL community, and also mention results on the complexity of the problem of computing all MinAs and of related decision problems.
BIO:
See: http://lat.inf.tu-dresden.de/~baader/index-en.html