Stage-oe-small.jpg

Inproceedings3159: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
Zeile 12: Zeile 12:
 
}}
 
}}
 
{{Inproceedings
 
{{Inproceedings
|Referiert=False
+
|Referiert=True
 
|Title=Epistemic Queries for OWL Knowledge Bases
 
|Title=Epistemic Queries for OWL Knowledge Bases
 
|Year=2011
 
|Year=2011

Version vom 1. Mai 2011, 11:49 Uhr


Epistemic Queries for OWL Knowledge Bases


Epistemic Queries for OWL Knowledge Bases



Published: 2011 Mai

Buchtitel: Proceedings of the 8th Extended Semantic Web Conference
Verlag: ESWC 2011
Organisation: 8th Extended Semantic Web Conference (ESWC11)

Referierte Veröffentlichung
Note: to appear.

BibTeX

Kurzfassung
Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL2 reasoning steps thereby enabling the deployment of off-the-shelf OWL2 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