Paper Info
Title
On Automated Testing of Description Logic Reasoners
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.
Year
DOI
Venue
2008
10.1007/978-3-540-89737-8_2
ICDCIT
Keywords
Field
DocType
description logic reasoners,ontological language,standardized representation,assertional reasoning,crucial aspect,knowledge representation,automated testing,world wide web consortium,ontological description,owl reasoning,semantic web application,semantic web,world wide web,knowledge representation and reasoning,description logic
Automated reasoning,Knowledge representation and reasoning,Software engineering,Information retrieval,Computer science,Semantic Web,Description logic,Reasoning system,Semantic Web Rule Language,RDF,Distributed computing,Web Ontology Language
Conference
Volume
ISSN
Citations 
5375
0302-9743
0
PageRank 
References 
Authors
0.34
17
2
Name
Order
Citations
PageRank
Marian Babik1496.76
LADISLAV HLUCHY28213.94