Reasoning with OWL - System Support and Insights -

This report aim at summarizing the current activities around OWL, the Web Ontology Language. At first, the report will present details about the current effort towards a revision of the official OWL W3C recommendation, known as OWL 1.1. Secondly, it describes a selection of inference engines while discussing different approaches as well as conceptual limits. These systems are then empirically evaluated using a set of spot tests which are intentionally designed to be hard to solve but small in size. Thirdly, it discusses actual trends and forthcoming developments in the context of ontology development and ontology reasoning. As a whole this report tries to provide some insights into currently available reasoning systems in order to serve as a decision help for Semantic Web application designers.

Online Copy

Paper is available as PDF (504 KB)

BibTeX Entry

@TechReport{liebig06:_tr_reasoning_with_owl, author = {Thorsten Liebig}, title = {Reasoning with OWL -- System Support and Insights --}, institution = {Ulm University}, year = 2006, number = {TR-2006-04}, address = {Ulm, Germany}, month = {September} }