Lexichographic Closure for Defeasible Description Logics

In Proceeedings of the 8th Australasian Ontology Workshop (AOW-12).


Abstract:
In the field of non-monotonic logics, the lexicographic closure is acknowledged as a a powerful and logically well-characterized approach; we are going to see that such a construction can be applied in the field of Description Logics, an important knowledge representation formalism, and we shall provide a simple decision decision procedure.