Stage-oe-small.jpg

Techreport3009

Aus Aifbportal
Version vom 13. Dezember 2010, 17:57 Uhr von 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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche


Epistemic Querying of OWL Knowledge Bases




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.


Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet