Britz, KCasini, GMeyer, TVarzinczak, I2013-11-012013-11-012013-07Britz, K, Casini, G, Meyer, T and Varzinczak, I. 2013. Preferential role restrictions. In: 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013http://www.cair.za.net/sites/default/files/outputs/dl2013_submission_47.pdfhttp://hdl.handle.net/10204/702626th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013. Published by CAIR (Center for Artificial Intelligence Research)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.enDescription logicsPreferential semanticsDomainsPreferential role restrictionsConference PresentationBritz, K., Casini, G., Meyer, T., & Varzinczak, I. (2013). Preferential role restrictions. CAIR (Centre for Artificial Intelligence Research). http://hdl.handle.net/10204/7026Britz, K, G Casini, T Meyer, and I Varzinczak. "Preferential role restrictions." (2013): http://hdl.handle.net/10204/7026Britz K, Casini G, Meyer T, Varzinczak I, Preferential role restrictions; CAIR (Centre for Artificial Intelligence Research); 2013. http://hdl.handle.net/10204/7026 .TY - Conference Presentation AU - Britz, K AU - Casini, G AU - Meyer, T AU - Varzinczak, I AB - 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. DA - 2013-07 DB - ResearchSpace DP - CSIR KW - Description logics KW - Preferential semantics KW - Domains LK - https://researchspace.csir.co.za PY - 2013 T1 - Preferential role restrictions TI - Preferential role restrictions UR - http://hdl.handle.net/10204/7026 ER -