Knowledge Integration for Description Logics

Dr. Thomas Meyer (NICTA)

CSL SEMINAR SERIES

DATE: 2005-06-07
TIME: 10:00:00 - 11:00: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 logic reasoners are able to detect incoherences (such as logical inconsistency and concept unsatisfiability) in knowledge bases, but provide little support for resolving them. We propose to recast techniques for propositional inconsistency management into the description logic setting. We show that the additional structure afforded by description logic statements can be used to refine these techniques. My focus in this talk is on the formal semantics for such techniques, although we do provide high-level decision procedures for the knowledge integration strategies discussed.