Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings1059
Abstract Logic programming has always been a major
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.
ation of the supported fragment of OWL DL.  +
Author Markus Krötzsch + , Pascal Hitzler + , Denny Vrandečić + , Michael Sintek +
BibTex
@inproceedings{KHVS2006,
  author    = {Markus Kr{\"{o}}tzsch and Pascal Hitzler and Denny
               Vrande{\v{c}}i{\'{c}} and Michael Sintek},
  title     = {How to reason with {OWL} in a logic programming system},
  editor    = {Thomas Eiter and Enrico Franconi and Ralph Hodgson and Susie
               Stephens},
  booktitle = {Proceedings of the Second International Conference on Rules and
               Rule Markup Languages for the Semantic Web, {RuleML2006}},
  publisher = {IEEE Computer Society},
  year      = {2006},
  month     = {November},
  pages     = {17--26}
}
Bibtype Inproceedings  +
Booktitle Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006  +
Download KroetzschHitzlerVrandecicSintek RuleML2006.pdf  +
Editor Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens  +
ErsterAutorNachname Krötzsch  +
ErsterAutorVorname Markus  +
Forschungsgebiet Semantische Technologien + , Wissensrepräsentation und logisches Schließen +
Forschungsgruppe Wissensbasierte Systeme +
ISBN 0-7695-2652-7  +
Month November  +
Pages 17--26  +
Publication text Markus Krötzsch, Pascal Hitzler, Denny Vra
Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek<br/> '''[[Inproceedings1059|<b>How to reason with OWL in a logic programming system</b>]]''' <br/>__NOTOC__In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., <i>Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006</i>, 17--26, November 2006. IEEE Computer Society<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1059|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:KroetzschHitzlerVrandecicSintek RuleML2006.pdf|Download]]
rVrandecicSintek RuleML2006.pdf|Download]]  +
Publication text en Markus Krötzsch, Pascal Hitzler, Denny Vra
Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek<br/> '''[[Inproceedings1059/en|<b>How to reason with OWL in a logic programming system</b>]]''' <br/>__NOTOC__In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., <i>Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006</i>, 17--26, November 2006. IEEE Computer Society<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1059|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:KroetzschHitzlerVrandecicSintek RuleML2006.pdf|Download]]
rVrandecicSintek RuleML2006.pdf|Download]]  +
Publisher IEEE Computer Society  +
Referiert 1  +
Title How to reason with OWL in a logic programming system  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings1059 + , Inproceedings1059 + , Inproceedings1059 + , Inproceedings1059 + , Inproceedings1059 + , Inproceedings1059 + , Inproceedings1059 + , Inproceedings1059 +
Kategorien Publikation , Inproceedings
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Mai 2016 16:02:45  +
verstecke Attribute die hierhin verlinken 
Inproceedings1059/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.