Practical Reasoning with OWL and Rules


Markus Krötzsch

Practical Reasoning with OWL and Rules

Abstract. This talk gives an overview of the KAON2 OWL reasoner and its support for DL-safe rules, and of the architecture of the NeOn Toolkit.

Invited talk given to an audience of scientist and practitioners.

Published at Knowledge Web Technology Showcase 2007, Vienna (Talk)

Download PDF (last update: May 15 2007)

Citation details

Related work

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.


Semantic Web, Description logics