ResearchSpace

Preferential role restrictions

Show simple item record

dc.contributor.author Britz, K
dc.contributor.author Casini, G
dc.contributor.author Meyer, T
dc.contributor.author Varzinczak, I
dc.date.accessioned 2013-11-01T13:10:12Z
dc.date.available 2013-11-01T13:10:12Z
dc.date.issued 2013-07
dc.identifier.citation 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 en_US
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/dl2013_submission_47.pdf
dc.identifier.uri http://hdl.handle.net/10204/7026
dc.description 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013. Published by CAIR (Center for Artificial Intelligence Research) en_US
dc.description.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. en_US
dc.language.iso en en_US
dc.publisher CAIR (Centre for Artificial Intelligence Research) en_US
dc.relation.ispartofseries Workflow;11665
dc.subject Description logics en_US
dc.subject Preferential semantics en_US
dc.subject Domains en_US
dc.title Preferential role restrictions en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Britz, K., Casini, G., Meyer, T., & Varzinczak, I. (2013). Preferential role restrictions. CAIR (Centre for Artificial Intelligence Research). http://hdl.handle.net/10204/7026 en_ZA
dc.identifier.chicagocitation Britz, K, G Casini, T Meyer, and I Varzinczak. "Preferential role restrictions." (2013): http://hdl.handle.net/10204/7026 en_ZA
dc.identifier.vancouvercitation Britz K, Casini G, Meyer T, Varzinczak I, Preferential role restrictions; CAIR (Centre for Artificial Intelligence Research); 2013. http://hdl.handle.net/10204/7026 . en_ZA
dc.identifier.ris 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 - en_ZA


Files in this item

Thumbnail
Name: Britz1_2013.pdf
Size: 337.2Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record