dc.contributor.author |
Britz, K
|
|
dc.contributor.author |
Meyer, T
|
|
dc.contributor.author |
Varzinczak, I
|
|
dc.date.accessioned |
2011-12-13T11:33:32Z |
|
dc.date.available |
2011-12-13T11:33:32Z |
|
dc.date.issued |
2011-12 |
|
dc.identifier.citation |
Britz, K, Meyer , T and Varzinczak, I. 2011. Semantic foundation for preferential description logics. 24th Australasian Joint Conference on Artificial Intelligence, Perth, Australia, 5-8 December 2011 |
en_US |
dc.identifier.uri |
http://hdl.handle.net/10204/5396
|
|
dc.description |
24th Australasian Joint Conference on Artificial Intelligence, Perth, Australia, 5-8 December 2011 |
en_US |
dc.description.abstract |
Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90's, would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in description logics. In this paper the authors fill this gap by providing a natural and intuitive semantics for defeasible subsumption in the description logic ALC. Their semantics replace the propositional valuations used in the models of Lehmann et al. with structures that they refer to as concept models. They present representation results for the description logic ALC for both preferential and rational consequence relations. They argue that their semantics pave the way for extending preferential and rational consequence, and therefore also rational closure, to a whole class of logics that have a semantics defined in terms of first-order relational structures. |
en_US |
dc.language.iso |
en |
en_US |
dc.relation.ispartofseries |
Workflow request;7729 |
|
dc.subject |
Description logics |
en_US |
dc.subject |
Artificial intelligence |
en_US |
dc.subject |
Semantics |
en_US |
dc.title |
Semantic foundation for preferential description logics |
en_US |
dc.type |
Conference Presentation |
en_US |
dc.identifier.apacitation |
Britz, K., Meyer, T., & Varzinczak, I. (2011). Semantic foundation for preferential description logics. http://hdl.handle.net/10204/5396 |
en_ZA |
dc.identifier.chicagocitation |
Britz, K, T Meyer, and I Varzinczak. "Semantic foundation for preferential description logics." (2011): http://hdl.handle.net/10204/5396 |
en_ZA |
dc.identifier.vancouvercitation |
Britz K, Meyer T, Varzinczak I, Semantic foundation for preferential description logics; 2011. http://hdl.handle.net/10204/5396 . |
en_ZA |
dc.identifier.ris |
TY - Conference Presentation
AU - Britz, K
AU - Meyer, T
AU - Varzinczak, I
AB - Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90's, would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in description logics. In this paper the authors fill this gap by providing a natural and intuitive semantics for defeasible subsumption in the description logic ALC. Their semantics replace the propositional valuations used in the models of Lehmann et al. with structures that they refer to as concept models. They present representation results for the description logic ALC for both preferential and rational consequence relations. They argue that their semantics pave the way for extending preferential and rational consequence, and therefore also rational closure, to a whole class of logics that have a semantics defined in terms of first-order relational structures.
DA - 2011-12
DB - ResearchSpace
DP - CSIR
KW - Description logics
KW - Artificial intelligence
KW - Semantics
LK - https://researchspace.csir.co.za
PY - 2011
T1 - Semantic foundation for preferential description logics
TI - Semantic foundation for preferential description logics
UR - http://hdl.handle.net/10204/5396
ER -
|
en_ZA |