Techreport3009: Unterschied zwischen den Versionen
Aus Aifbportal
Ame (Diskussion | Beiträge) |
Sru (Diskussion | Beiträge) |
||
Zeile 13: | Zeile 13: | ||
{{Techreport | {{Techreport | ||
|BibTex-ID=Mehdi2010 | |BibTex-ID=Mehdi2010 | ||
− | |Title=Epistemic | + | |Title=Epistemic Queries for OWL |
|Year=2010 | |Year=2010 | ||
|Month=Dezember | |Month=Dezember | ||
Zeile 22: | Zeile 22: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results. | |Abstract=Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results. | ||
− | |Download=EpistemicQueryingTR.pdf, | + | |Download=EpistemicQueryingTR.pdf, |
|Projekt=ExpresST | |Projekt=ExpresST | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} |
Version vom 2. März 2011, 19:06 Uhr
Epistemic Queries for OWL
Published: 2010
Dezember
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3009
Kurzfassung
Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results.
Download: Media:EpistemicQueryingTR.pdf
Projekt
Forschungsgruppe
Forschungsgebiet