Home » Research » Research outputs » Preferential Role Restrictions

Preferential Role Restrictions


  • Authors:
    Arina Britz , Giovanni Casini , Tommie Meyer , Ivan Varzinczak

    Publication date:


    Output type:
    Workshop paper


    We extend the Description Logic ALC with preferential role restrictions as class constructs, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting DL is more expressive without adding to the complexity of TBox reasoning. We present a tableau system to compute TBox entailment, show that this notion of entailment is not sufficient when adding ABoxes, and refine entailment to deal adequately with ABox reasoning.

    Document file:
    Proof of peer-review from publisher: