A Defeasible Description Logic for Abduction.

In this work we introduce a defeasible Description Logic for abductive reasoning. Our proposal exploits a fragment of a probabilistic extension of a Description Logic of typicality, whose semantics corresponds to a natural extension of the well established mechanism of rational closure extended to Description Logics. The presence of typicality assertions that can be non-monotonically inferred from a knowledge base, corresponding to those belonging to its rational closure, avoids the need of an explicit selection of abducibles.