Inproceedings1059: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Author | ||
+ | |Rank=4 | ||
+ | |Author=Michael Sintek | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
|Author=Denny Vrandecic | |Author=Denny Vrandecic | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=1 | ||
+ | |Author=Markus Krötzsch | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Pascal Hitzler | |Author=Pascal Hitzler | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 48: | Zeile 48: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Download=2006_1059_Krötzsch_How_to_reason_w_1.pdf, 2006_1059_Krötzsch_How_to_reason_w_2.pdf | |Download=2006_1059_Krötzsch_How_to_reason_w_1.pdf, 2006_1059_Krötzsch_How_to_reason_w_2.pdf | ||
− | |Projekt= | + | |Projekt=ReaSem, SmartWeb, SEKT, |
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Wissensrepräsentation |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Zeile 58: | Zeile 58: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Semantic Web |
}} | }} |
Version vom 15. August 2009, 23:06 Uhr
How to reason with OWL in a logic programming system
How to reason with OWL in a logic programming system
Published: 2006
November
Herausgeber: Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens
Buchtitel: Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006
Seiten: 17--26
Verlag: IEEE Computer Society
Erscheinungsort: Athens, Georgia
Referierte Veröffentlichung
BibTeX
Kurzfassung
Logic programming has always been a major ontology
modeling paradigm, and is frequently being used in large
research projects and industrial applications, e.g., by means
of the F-Logic reasoning engine OntoBroker or the TRIPLE
query, inference, and transformation language and system.
At the same time, the Web Ontology Language OWL has
been recommended by the W3C for modeling ontologies for
the web. Naturally, it is desirable to investigate the interoperability
between both paradigms. In this paper, we do so
by studying an expressive fragement of OWL DL for which
reasoning can be reduced to the evaluation of Horn logic
programs. Building on the KAON2 algorithms for transforming
OWL DL into disjunctive Datalog, we give a detailed
account of how and to what extent OWL DL can be
employed in standard logic programming systems. En route,
we derive a novel, simplified characterization of the supported
fragment of OWL DL.
ISBN: 0-7695-2652-7
Download: Media:2006_1059_Krötzsch_How_to_reason_w_1.pdf,Media:2006_1059_Krötzsch_How_to_reason_w_2.pdf
Wissensrepräsentation, Logikprogrammierung, Semantic Web