Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Techreport3038

Aus Aifbportal

Wechseln zu: Navigation, Suche


EQuIKa: Epistemic Querying in OWL 2 Ontologies




Published: 2013 April
Type: Technical Report
Institution: AIFB
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3038

BibTeX
Kurzfassung
Extending ontology querying facilities with the epistemic operator provides practically useful additional functionalities like ontology introspection, integrity constraints checking, etc. In this paper, we present a practical system called EQuIKa capable of epistemic inferencing on OWL 2 DL Ontologies. It implements our recently developed reduction method of epistemic queries to several subsequent standard reasoning steps. EQuIKa is implemented as a Prot�eg�e plugin, featuring a convenient querying interface alike the DL Query tab, enabling epistemic querying directly within the editor. Besides the implementation details, we discuss several optimization issues important for the feasibility of the system in practice. First experiments demonstrate practical feasibility of our system, as the system's runtime lies in the same order of magnitude as standard reasoning tasks.

Download: Media:TRamesrujwi2013.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


-->