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.
Reference:
Britz, K, Casini, G, Meyer, T and Varzinczak, I. 2013. Preferential role restrictions. In: 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013
Britz, K., Casini, G., Meyer, T., & Varzinczak, I. (2013). Preferential role restrictions. CAIR (Centre for Artificial Intelligence Research). http://hdl.handle.net/10204/7026
Britz, K, G Casini, T Meyer, and I Varzinczak. "Preferential role restrictions." (2013): http://hdl.handle.net/10204/7026
Britz K, Casini G, Meyer T, Varzinczak I, Preferential role restrictions; CAIR (Centre for Artificial Intelligence Research); 2013. http://hdl.handle.net/10204/7026 .