Document Type
Conference Proceeding
Publication Date
11-1-2006
Abstract
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 fragment 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.
Repository Citation
Krotzsch, M.,
Hitzler, P.,
Vrandecic, D.,
& Sintek, M.
(2006). How to Reason with OWL in a Logic Programming System. Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, 17-28.
https://corescholar.libraries.wright.edu/cse/88
DOI
10.1109/RULEML.2006.14
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, GA, November 2006.
Posted with permission from IEEE.