Inproceedings3159: Unterschied zwischen den Versionen
Ame (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Ul Mehdi |ErsterAutorVorname=Anees }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Publikation Auth…“) |
Ame (Diskussion | Beiträge) |
||
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
− | |ErsterAutorNachname= | + | |ErsterAutorNachname=ul Mehdi |
|ErsterAutorVorname=Anees | |ErsterAutorVorname=Anees | ||
}} | }} | ||
Zeile 12: | Zeile 12: | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
− | |Referiert= | + | |Referiert=True |
|Title=Epistemic Queries for OWL Knowledge Bases | |Title=Epistemic Queries for OWL Knowledge Bases | ||
|Year=2011 | |Year=2011 | ||
Zeile 19: | Zeile 19: | ||
|Organization=8th Extended Semantic Web Conference (ESWC11) | |Organization=8th Extended Semantic Web Conference (ESWC11) | ||
|Publisher=ESWC 2011 | |Publisher=ESWC 2011 | ||
− | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
− | |Abstract= 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. | + | |Abstract=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. |
+ | |Download=Eswc2011-ame-sru-sgr.pdf, | ||
|Projekt=ExpresST | |Projekt=ExpresST | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} |
Aktuelle Version vom 18. Juli 2011, 11:02 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
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.
Download: Media:Eswc2011-ame-sru-sgr.pdf