@misc{45, author = {Katarina Britz and Giovanni Casini and Tommie Meyer and Ivan Varzinczak}, title = {Preferential Role Restrictions}, 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 refi ne entailment to deal adequately with ABox reasoning.}, year = {2013}, journal = {26th International Workshop on Description Logics}, month = {23/07 - 26/07}, }