Stage-oe-small.jpg

Techreport3009: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
 
(Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt)
Zeile 1: Zeile 1:
 
{{Publikation Erster Autor
 
{{Publikation Erster Autor
|ErsterAutorNachname=Ul Mehdi
+
|ErsterAutorNachname=ul Mehdi
 
|ErsterAutorVorname=Anees
 
|ErsterAutorVorname=Anees
 
}}
 
}}
Zeile 13: Zeile 13:
 
{{Techreport
 
{{Techreport
 
|BibTex-ID=Mehdi2010
 
|BibTex-ID=Mehdi2010
|Title=Epistemic Querying of OWL Knowledge Bases
+
|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
 
}}
 
}}

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

BibTeX



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

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet