Home » Research » Research outputs » Preferential Role Restrictions

Preferential Role Restrictions

2013

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

    Publication date:
    2013

    Institution:

    Output type:
    Workshop paper

    Abstract:

    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: