Paper Info
Title
Framework for an automated comparison of description logic reasoners
Abstract
OWL is an ontology language developed by the W3C, and although initially developed for the Semantic Web, OWL has rapidly become a de facto standard for ontology development in general. The design of OWL was heavily influenced by research in description logics, and the specification includes a formal semantics. One of the goals of this formal approach was to provide interoperability: different OWL reasoners should provide the same results when processing the same ontologies. In this paper we present a system that allows users: (a) to test and compare OWL reasoners using an extensible library of real-life ontologies; (b) to check the “correctness” of the reasoners by comparing the computed class hierarchy; (c) to compare the performance of the reasoners when performing this task; and (d) to use SQL queries to analyse and present the results in any way they see fit.
Year
DOI
Venue
2006
10.1007/11926078_47
International Semantic Web Conference
Keywords
Field
DocType
automated comparison,extensible library,ontology development,description logic,real-life ontology,description logic reasoner,computed class hierarchy,semantic web,ontology language,formal approach,different owl reasoner,formal semantics
Ontology (information science),Data mining,Knowledge representation and reasoning,Computer science,Description logic,Semantic Web,Formal specification,OWL-S,Database,Ontology language,Web Ontology Language
Conference
Volume
ISSN
ISBN
4273
0302-9743
3-540-49029-9
Citations 
PageRank 
References 
27
1.31
24
Authors
3
Name
Order
Citations
PageRank
Tom Gardiner1543.52
Dmitry Tsarkov279449.29
Ian Horrocks3117311086.65