TY - GEN
T1 - A rigorous characterization of classification performance
T2 - International Joint Conference on Automated Reasoning 2012
AU - Kang, Yong Bin
AU - Li, Yuan Fang
AU - Krishnaswamy, Shonali
PY - 2012
Y1 - 2012
N2 - A number of ontology reasoners have been developed for reasoning over highly expressive ontology languages such as OWL DL and OWL 2 DL. Such languages have, as a consequence of high expressivity, high worst-case complexity. Therefore, reasoning tasks such as classification sometimes take considerable time on large and complex ontologies. In this paper, we carry out a comprehensive comparative study to analyze classification performance of four widely-used reasoners, FaCT++, HermiT, Pellet and TrOWL, using a dataset of over 300 real-world ontologies. Our investigation on correlating reasoner performance with ontology metrics using machine learning techniques also provides additional insights into the hardness of individual ontologies.
AB - A number of ontology reasoners have been developed for reasoning over highly expressive ontology languages such as OWL DL and OWL 2 DL. Such languages have, as a consequence of high expressivity, high worst-case complexity. Therefore, reasoning tasks such as classification sometimes take considerable time on large and complex ontologies. In this paper, we carry out a comprehensive comparative study to analyze classification performance of four widely-used reasoners, FaCT++, HermiT, Pellet and TrOWL, using a dataset of over 300 real-world ontologies. Our investigation on correlating reasoner performance with ontology metrics using machine learning techniques also provides additional insights into the hardness of individual ontologies.
UR - http://www.scopus.com/inward/record.url?scp=84892598989&partnerID=8YFLogxK
M3 - Conference Paper
AN - SCOPUS:84892598989
T3 - CEUR Workshop Proceedings
BT - Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012)
A2 - Horrocks, Ian
A2 - Yatskevich, Mikalai
A2 - Jimenez-Ruiz, Ernesto
PB - Rheinisch-Westfaelische Technische Hochschule Aachen
Y2 - 1 July 2012 through 1 July 2012
ER -