Efficient OWL Reasoning with Logic Programs

From korrekt.org

Jump to: navigation, search

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


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.


Description logics, Rule languages

Personal tools