Practical Reasoning with OWL and Rules
From korrekt.org
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
- Markus Krötzsch. Practical Reasoning with OWL and Rules. 2007.
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.
