Techreport3009: Unterschied zwischen den Versionen
Aus Aifbportal
Ame (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Ul Mehdi |ErsterAutorVorname=Anees }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Publikation Auth…“) |
Ame (Diskussion | Beiträge) |
||
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
− | |ErsterAutorNachname= | + | |ErsterAutorNachname=ul Mehdi |
|ErsterAutorVorname=Anees | |ErsterAutorVorname=Anees | ||
}} | }} | ||
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, | ||
|Projekt=ExpresST | |Projekt=ExpresST | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} |
Aktuelle Version vom 1. Mai 2011, 11:12 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