Reasoning with OWL - system support and insights
FacultiesFakultät für Ingenieurwissenschaften und Informatik
This report aims 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.
Subject HeadingsOntologie <Wissensverarbeitung> [GND]
OWL <Informatik> [GND]
Semantic Web [GND]
RDF (Document markup language) [LCSH]
XML (Document markup language) [LCSH]