Alaya, N.; Yahia, S.B.; Lamolle, M.: Ranking with ties of OWL ontology reasoners based on learned performances (2016)
0.01
0.0058368337 = product of:
0.014592084 = sum of:
0.009010308 = weight(_text_:a in 3378) [ClassicSimilarity], result of:
0.009010308 = score(doc=3378,freq=14.0), product of:
0.053464882 = queryWeight, product of:
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.046368346 = queryNorm
0.1685276 = fieldWeight in 3378, product of:
3.7416575 = tf(freq=14.0), with freq of:
14.0 = termFreq=14.0
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.0390625 = fieldNorm(doc=3378)
0.0055817757 = product of:
0.011163551 = sum of:
0.011163551 = weight(_text_:information in 3378) [ClassicSimilarity], result of:
0.011163551 = score(doc=3378,freq=4.0), product of:
0.08139861 = queryWeight, product of:
1.7554779 = idf(docFreq=20772, maxDocs=44218)
0.046368346 = queryNorm
0.13714671 = fieldWeight in 3378, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
1.7554779 = idf(docFreq=20772, maxDocs=44218)
0.0390625 = fieldNorm(doc=3378)
0.5 = coord(1/2)
0.4 = coord(2/5)
- Abstract
- Over the last decade, several ontology reasoners have been proposed to overcome the computational complexity of inference tasks on expressive ontology languages such as OWL 2 DL. Nevertheless, it is well-accepted that there is no outstanding reasoner that can outperform in all input ontologies. Thus, deciding the most suitable reasoner for an ontology based application is still a time and effort consuming task. In this paper, we suggest to develop a new system to provide user support when looking for guidance over ontology reasoners. At first, we will be looking at automatically predict a single reasoner empirical performances, in particular its robustness and efficiency, over any given ontology. Later, we aim at ranking a set of candidate reasoners in a most preferred order by taking into account information regarding their predicted performances. We conducted extensive experiments covering over 2500 well selected real-world ontologies and six state-of-the-art of the most performing reasoners. Our primary prediction and ranking results are encouraging and witnessing the potential benefits of our approach.
- Series
- Communications in computer and information science; 631
- Source
- Knowledge discovery, knowledge engineering and knowledge management: 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers. Eds.: A. Fred et al
- Type
- a
