On Automated Testing of Description Logic Reasoners

  • Authors:

  • Marian Babik;Ladislav Hluchy

  • Affiliations:

  • Department of Parallel and Distributed Computing, Institute of Informatics, Slovak Academy of Sciences,;Department of Parallel and Distributed Computing, Institute of Informatics, Slovak Academy of Sciences,

  • Venue:
  • ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

OWL and RDF/RDFS are ontological languages developed by the World Wide Web Consortium (W3), which have become a de facto standard for the ontological descriptions in various domains. The evolution of these standards was influenced by the numerous advances in the research of knowledge representation and reasoning. Although support for reasoning and standardized representation is the key benefit of these technologies, there is a lack of existing test frameworks, which would be capable of addressing many crucial aspects of the Semantic Web applications. In this paper we propose a methodology for automated testing of OWL reasoners based on the real-world ontologies. This specification covers both terminological and assertional reasoning as well as checking of the correctness of the answers. An open-source implementation of such framework is described and a study of initial results is provided. The tests cover an extensive set of reasoners and ontologies and provide a state-of-the-art insight into the field of OWL reasoning.