dc.contributor.author |
Meyer, T
|
|
dc.contributor.author |
Moodley, K
|
|
dc.contributor.author |
Sattler, U
|
|
dc.date.accessioned |
2014-11-18T10:15:29Z |
|
dc.date.available |
2014-11-18T10:15:29Z |
|
dc.date.issued |
2014-07 |
|
dc.identifier.citation |
Meyer, T, Moodley, K and Sattler, U. 2014. DIP: A defeasible-inference platform for OWL ontologies. In: 27th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014 |
en_US |
dc.identifier.uri |
http://ceur-ws.org/Vol-1193/paper_44.pdf
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/7779
|
|
dc.description |
27th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014. |
en_US |
dc.description.abstract |
The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been efforts to extend their framework to Description Logics (DLs) and a solid theoretical foundation has already been established towards this aim. Despite this foundation, and the fact that many of the desirable aspects of the approach generalise favourably to certain DLs, implementations thereof remain unpublished. We present a defeasible-reasoning system for OWL ontologies demonstrating that we need not devise new decision procedures for certain preferential DLs. Our reasoning procedures are composed purely of classical DL decision steps which allows us to immediately hinge upon existing OWL and DL systems for defeasible-reasoning tool support. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
CEUR Workshop Proceedings |
en_US |
dc.relation.ispartofseries |
Workflow;13517 |
|
dc.subject |
Description logics |
en_US |
dc.subject |
OWL ontologies |
en_US |
dc.subject |
Propositional logic |
en_US |
dc.subject |
DL systems |
en_US |
dc.title |
DIP: A defeasible-inference platform for OWL ontologies |
en_US |
dc.type |
Conference Presentation |
en_US |
dc.identifier.apacitation |
Meyer, T., Moodley, K., & Sattler, U. (2014). DIP: A defeasible-inference platform for OWL ontologies. CEUR Workshop Proceedings. http://hdl.handle.net/10204/7779 |
en_ZA |
dc.identifier.chicagocitation |
Meyer, T, K Moodley, and U Sattler. "DIP: A defeasible-inference platform for OWL ontologies." (2014): http://hdl.handle.net/10204/7779 |
en_ZA |
dc.identifier.vancouvercitation |
Meyer T, Moodley K, Sattler U, DIP: A defeasible-inference platform for OWL ontologies; CEUR Workshop Proceedings; 2014. http://hdl.handle.net/10204/7779 . |
en_ZA |
dc.identifier.ris |
TY - Conference Presentation
AU - Meyer, T
AU - Moodley, K
AU - Sattler, U
AB - The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been efforts to extend their framework to Description Logics (DLs) and a solid theoretical foundation has already been established towards this aim. Despite this foundation, and the fact that many of the desirable aspects of the approach generalise favourably to certain DLs, implementations thereof remain unpublished. We present a defeasible-reasoning system for OWL ontologies demonstrating that we need not devise new decision procedures for certain preferential DLs. Our reasoning procedures are composed purely of classical DL decision steps which allows us to immediately hinge upon existing OWL and DL systems for defeasible-reasoning tool support.
DA - 2014-07
DB - ResearchSpace
DP - CSIR
KW - Description logics
KW - OWL ontologies
KW - Propositional logic
KW - DL systems
LK - https://researchspace.csir.co.za
PY - 2014
T1 - DIP: A defeasible-inference platform for OWL ontologies
TI - DIP: A defeasible-inference platform for OWL ontologies
UR - http://hdl.handle.net/10204/7779
ER -
|
en_ZA |