Stage-oe-small.jpg

Techreport3020: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Ul Mehdi |ErsterAutorVorname=Anees }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Publikation Auth…“)
 
Zeile 1: Zeile 1:
 
{{Publikation Erster Autor
 
{{Publikation Erster Autor
|ErsterAutorNachname=Ul Mehdi
+
|ErsterAutorNachname=ul Mehdi
 
|ErsterAutorVorname=Anees
 
|ErsterAutorVorname=Anees
 
}}
 
}}
Zeile 9: Zeile 9:
 
{{Publikation Author
 
{{Publikation Author
 
|Rank=3
 
|Rank=3
|Author=Jens Wissman
+
|Author=Jens Wissmann
 
}}
 
}}
 
{{Techreport
 
{{Techreport
 
|BibTex-ID=EQuIKa-TR-2012
 
|BibTex-ID=EQuIKa-TR-2012
 
|Title=EQuIKa: Epistemic Querying Answering in OWL2 Ontologies
 
|Title=EQuIKa: Epistemic Querying Answering in OWL2 Ontologies
|Year=2011
+
|Year=2012
 
|Month=Dezember
 
|Month=Dezember
 
|Institution=Institut AIFB, KIT.
 
|Institution=Institut AIFB, KIT.
Zeile 25: Zeile 25:
  
 
We present a practical system called EQuIKa capable of epistemic inferencing on OWL-2-DL ontologies. It implements our recently developed reduction to standard reasoning along with several novel performance optimizations. First  experiments demonstrate practical feasibility of our system. For convenience of use, we developed querying and constraint checking front-ends  for Prote'ge' and the NeOn Toolkit.
 
We present a practical system called EQuIKa capable of epistemic inferencing on OWL-2-DL ontologies. It implements our recently developed reduction to standard reasoning along with several novel performance optimizations. First  experiments demonstrate practical feasibility of our system. For convenience of use, we developed querying and constraint checking front-ends  for Prote'ge' and the NeOn Toolkit.
|Download=TechReport-EQuIKa.pdf,  
+
|Download=TechReport-EQuIKa.pdf,
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}
 
{{Forschungsgebiet Auswahl}}
 
{{Forschungsgebiet Auswahl}}

Version vom 8. Dezember 2011, 09:33 Uhr


EQuIKa: Epistemic Querying Answering in OWL2 Ontologies




Published: 2012 Dezember
Type: Technical Report
Institution: Institut AIFB, KIT.
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3020

BibTeX



Kurzfassung
Extending ontology querying facilities with the epistemic operator provides practically useful additional functionalities for ontology management tasks. In this paper, we motivate the benefits of this formalism for expressing integrity constraints on Ontologies.

We present a practical system called EQuIKa capable of epistemic inferencing on OWL-2-DL ontologies. It implements our recently developed reduction to standard reasoning along with several novel performance optimizations. First experiments demonstrate practical feasibility of our system. For convenience of use, we developed querying and constraint checking front-ends for Prote'ge' and the NeOn Toolkit.

Download: Media:TechReport-EQuIKa.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet