EQuIKa: Epistemic Querying in OWL 2 Ontologies

Anees ul MehdiAnees ul Mehdi, Sebastian RudolphSebastian Rudolph, Jens WissmanJens Wissman

Download

Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
Technical Report, AIFB, April 2013. Technical Report

Details
Bibtex

KurzfassungAbstract
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.
Projekt:Project: ExpresST
Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

@techreport{MRW2013,
  author      = {Anees ul Mehdi and Sebastian Rudolph and Jens Wissman},
  title       = {EQuIKa: Epistemic Querying in {OWL} 2 Ontologies},
  institution = {AIFB},
  year        = {2013},
  month       = {April}
}