Techreport3009: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Wissensmanagement“ durch „|Forschungsgruppe=Information Systems“) |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 14: | Zeile 14: | ||
|BibTex-ID=Mehdi2010 | |BibTex-ID=Mehdi2010 | ||
|Title=Epistemic Queries for OWL | |Title=Epistemic Queries for OWL | ||
|To appear=0 | |||
|Year=2010 | |Year=2010 | ||
|Month=Dezember | |Month=Dezember | ||
|Institution=Institut AIFB, KIT | |Institution=Institut AIFB, KIT | ||
|Reviewed=Prof. Studer | |||
|Address=Karlsruhe | |Address=Karlsruhe | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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=EpistemicQueryingTR.pdf, | |Download=EpistemicQueryingTR.pdf, | ||
|Forschungsgruppe=Computational Logic | |||
|Forschungsgruppe= | |||
}} | }} | ||
Version vom 14. Oktober 2014, 20:34 Uhr
Epistemic Queries for OWL
Anees ul MehdiAnees ul Mehdi, Sebastian RudolphSebastian Rudolph, Stephen GrimmStephen Grimm
Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: Computational LogicComputational Logic
@techreport{MRG2010,
author = {Anees ul Mehdi and Sebastian Rudolph and Stephen Grimm},
title = {Epistemic Queries for {OWL}},
institution = {Institut {AIFB,} {KIT}},
year = {2010},
month = {December}
}
