Disjunctive Logic Programs with Inheritance Revisited

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