Disjunctive Logic Programs with Inheritance Revisited

Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son

Abstract: We argue for a semantical modification of the language DLP<. We show by examples that the current DLP< representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP< that yields the expected answers in some examples that we consider significant