Efficient OWL Reasoning with Logic Programs
From korrekt.org
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Efficient OWL Reasoning with Logic Programs – Evaluations
Abstract. We report on efficiency evaluations concerning two different approaches to using logic programming for OWL reasoning, and show how the two approaches can be combined.
Published at RR2007 (Conference paper)
Download PDF (last update: June 01 2007)
Citation details
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic. Efficient OWL Reasoning with Logic Programs – Evaluations. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds.: Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR-07), pp. 370–373. SpringerProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2007.
Remarks
This work was presented as a poster at RR2007, and won the best poster award. Credits go to Denny who created the poster.
More recent approaches on the topic of rules in OWL (especially in OWL 2) is found in our works on description logic rules and on the tractable rule language ELP.
