Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Techreport3009

Aus Aifbportal

Wechseln zu: Navigation, Suche


Epistemic Queries for OWL




Published: 2010 Dezember
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
BibTex-ID: Mehdi2010
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