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

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.

Topics

Description logics, Rule languages

Personal tools