Home » Research » Research outputs » Extending Typicality for Description Logics

Extending Typicality for Description Logics


  • Authors:
    Booth, R. , Giovanni Casini , Tommie Meyer , Ivan Varzinczak

    Publication date:

    CSIR Meraka Institute, UCT

    Output type:


    Recent extensions of description logics for dealing with different forms of non-monotonic reasoning don’t take us beyond the case of defeasible subsumption. In this paper we enrich the DL EL⊥ with a (constrained version of) a typicality operator •, the intuition of which is to capture the most typical members of a class, providing us with the DL EL•⊥. We argue that EL•⊥ is the smallest step one can take to increase the expressivity beyond the case of defeasible subsumption for DLs, while still retaining all the rationality properties an appropriate notion of defeasible subsumption is required to satisfy, and investigate what an appropriate notion of non-monotonic entailment for EL• ⊥ should look like.

    Proof of peer-review from publisher: