Document (#40379)

Author

Alaya, N.
Yahia, S.B.
Lamolle, M.

Title

Ranking with ties of OWL ontology reasoners based on learned performances

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

Imprint

Cham : Springer

Year

2016

Pages

S.234-259

Series

Communications in computer and information science; 631

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.

Theme

Wissensrepräsentation

Object

OWL

Similar documents (content)

1. Cui, H.: Competency evaluation of plant character ontologies against domain literature (2010) 0.18

   0.17530943 = sum of:
     0.17530943 = product of:
       0.730456 = sum of:
         0.059498645 = weight(abstract_txt:consuming in 453) [ClassicSimilarity], result of:
           0.059498645 = score(doc=453,freq=1.0), product of:
             0.13114788 = queryWeight, product of:
               1.074949 = boost
               7.2588162 = idf(docFreq=84, maxDocs=44421)
               0.016807673 = queryNorm
             0.45367602 = fieldWeight in 453, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.2588162 = idf(docFreq=84, maxDocs=44421)
               0.0625 = fieldNorm(doc=453)
         0.0610019 = weight(abstract_txt:candidate in 453) [ClassicSimilarity], result of:
           0.0610019 = score(doc=453,freq=1.0), product of:
             0.13334768 = queryWeight, product of:
               1.0839268 = boost
               7.319441 = idf(docFreq=79, maxDocs=44421)
               0.016807673 = queryNorm
             0.45746505 = fieldWeight in 453, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.319441 = idf(docFreq=79, maxDocs=44421)
               0.0625 = fieldNorm(doc=453)
         0.018491827 = weight(abstract_txt:well in 453) [ClassicSimilarity], result of:
           0.018491827 = score(doc=453,freq=1.0), product of:
             0.07581464 = queryWeight, product of:
               1.1558428 = boost
               3.9025342 = idf(docFreq=2437, maxDocs=44421)
               0.016807673 = queryNorm
             0.24390839 = fieldWeight in 453, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9025342 = idf(docFreq=2437, maxDocs=44421)
               0.0625 = fieldNorm(doc=453)
         0.10613386 = weight(abstract_txt:ontologies in 453) [ClassicSimilarity], result of:
           0.10613386 = score(doc=453,freq=3.0), product of:
             0.1685112 = queryWeight, product of:
               1.7232037 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.016807673 = queryNorm
             0.6298327 = fieldWeight in 453, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0625 = fieldNorm(doc=453)
         0.04043788 = weight(abstract_txt:most in 453) [ClassicSimilarity], result of:
           0.04043788 = score(doc=453,freq=2.0), product of:
             0.1160502 = queryWeight, product of:
               1.751422 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.016807673 = queryNorm
             0.3484516 = fieldWeight in 453, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.0625 = fieldNorm(doc=453)
         0.4448919 = weight(abstract_txt:ontology in 453) [ClassicSimilarity], result of:
           0.4448919 = score(doc=453,freq=8.0), product of:
             0.45563105 = queryWeight, product of:
               4.9078298 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016807673 = queryNorm
             0.9764302 = fieldWeight in 453, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=453)
       0.24 = coord(6/25)
   

2. King, B.E.; Reinold, K.: Finding the concept, not just the word : a librarian's guide to ontologies and semantics (2008) 0.14

   0.13566577 = sum of:
     0.13566577 = product of:
       0.56527406 = sum of:
         0.032134626 = weight(abstract_txt:inference in 3863) [ClassicSimilarity], result of:
           0.032134626 = score(doc=3863,freq=1.0), product of:
             0.11898313 = queryWeight, product of:
               1.023882 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.016807673 = queryNorm
             0.27007717 = fieldWeight in 3863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.0390625 = fieldNorm(doc=3863)
         0.03957506 = weight(abstract_txt:encouraging in 3863) [ClassicSimilarity], result of:
           0.03957506 = score(doc=3863,freq=1.0), product of:
             0.13670495 = queryWeight, product of:
               1.097487 = boost
               7.4110084 = idf(docFreq=72, maxDocs=44421)
               0.016807673 = queryNorm
             0.28949252 = fieldWeight in 3863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.4110084 = idf(docFreq=72, maxDocs=44421)
               0.0390625 = fieldNorm(doc=3863)
         0.011557392 = weight(abstract_txt:well in 3863) [ClassicSimilarity], result of:
           0.011557392 = score(doc=3863,freq=1.0), product of:
             0.07581464 = queryWeight, product of:
               1.1558428 = boost
               3.9025342 = idf(docFreq=2437, maxDocs=44421)
               0.016807673 = queryNorm
             0.15244274 = fieldWeight in 3863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9025342 = idf(docFreq=2437, maxDocs=44421)
               0.0390625 = fieldNorm(doc=3863)
         0.13808453 = weight(abstract_txt:ontologies in 3863) [ClassicSimilarity], result of:
           0.13808453 = score(doc=3863,freq=13.0), product of:
             0.1685112 = queryWeight, product of:
               1.7232037 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.016807673 = queryNorm
             0.81943834 = fieldWeight in 3863, product of:
               3.6055512 = tf(freq=13.0), with freq of:
                 13.0 = termFreq=13.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0390625 = fieldNorm(doc=3863)
         0.017871188 = weight(abstract_txt:most in 3863) [ClassicSimilarity], result of:
           0.017871188 = score(doc=3863,freq=1.0), product of:
             0.1160502 = queryWeight, product of:
               1.751422 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.016807673 = queryNorm
             0.15399532 = fieldWeight in 3863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.0390625 = fieldNorm(doc=3863)
         0.32605127 = weight(abstract_txt:ontology in 3863) [ClassicSimilarity], result of:
           0.32605127 = score(doc=3863,freq=11.0), product of:
             0.45563105 = queryWeight, product of:
               4.9078298 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016807673 = queryNorm
             0.7156037 = fieldWeight in 3863, product of:
               3.3166249 = tf(freq=11.0), with freq of:
                 11.0 = termFreq=11.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0390625 = fieldNorm(doc=3863)
       0.24 = coord(6/25)
   

3. Mao, M.: Ontology mapping : towards semantic interoperability in distributed and heterogeneous environments (2008) 0.11

   0.10785165 = sum of:
     0.10785165 = product of:
       0.6740728 = sum of:
         0.055405084 = weight(abstract_txt:encouraging in 659) [ClassicSimilarity], result of:
           0.055405084 = score(doc=659,freq=1.0), product of:
             0.13670495 = queryWeight, product of:
               1.097487 = boost
               7.4110084 = idf(docFreq=72, maxDocs=44421)
               0.016807673 = queryNorm
             0.40528953 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.4110084 = idf(docFreq=72, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.14185688 = weight(abstract_txt:ontologies in 659) [ClassicSimilarity], result of:
           0.14185688 = score(doc=659,freq=7.0), product of:
             0.1685112 = queryWeight, product of:
               1.7232037 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.016807673 = queryNorm
             0.84182465 = fieldWeight in 659, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.041582078 = weight(abstract_txt:over in 659) [ClassicSimilarity], result of:
           0.041582078 = score(doc=659,freq=1.0), product of:
             0.17921539 = queryWeight, product of:
               2.5131874 = boost
               4.242705 = idf(docFreq=1734, maxDocs=44421)
               0.016807673 = queryNorm
             0.23202293 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.242705 = idf(docFreq=1734, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
         0.43522877 = weight(abstract_txt:ontology in 659) [ClassicSimilarity], result of:
           0.43522877 = score(doc=659,freq=10.0), product of:
             0.45563105 = queryWeight, product of:
               4.9078298 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016807673 = queryNorm
             0.9552219 = fieldWeight in 659, product of:
               3.1622777 = tf(freq=10.0), with freq of:
                 10.0 = termFreq=10.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0546875 = fieldNorm(doc=659)
       0.16 = coord(4/25)
   

4. Favato Barcelos, P.P.; Sales, T.P.; Fumagalli, M.; Guizzardi, G.; Valle Sousa, I.; Fonseca, C.M.; Romanenko, E.; Kritz, J.: ¬A FAIR model catalog for ontology-driven conceptual modeling research (2022) 0.09

   0.09141902 = sum of:
     0.09141902 = product of:
       0.4570951 = sum of:
         0.04790088 = weight(abstract_txt:accepted in 1757) [ClassicSimilarity], result of:
           0.04790088 = score(doc=1757,freq=1.0), product of:
             0.1134973 = queryWeight, product of:
               6.7527075 = idf(docFreq=140, maxDocs=44421)
               0.016807673 = queryNorm
             0.42204422 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7527075 = idf(docFreq=140, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.018491827 = weight(abstract_txt:well in 1757) [ClassicSimilarity], result of:
           0.018491827 = score(doc=1757,freq=1.0), product of:
             0.07581464 = queryWeight, product of:
               1.1558428 = boost
               3.9025342 = idf(docFreq=2437, maxDocs=44421)
               0.016807673 = queryNorm
             0.24390839 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9025342 = idf(docFreq=2437, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.0285939 = weight(abstract_txt:most in 1757) [ClassicSimilarity], result of:
           0.0285939 = score(doc=1757,freq=1.0), product of:
             0.1160502 = queryWeight, product of:
               1.751422 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.016807673 = queryNorm
             0.2463925 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.047522373 = weight(abstract_txt:over in 1757) [ClassicSimilarity], result of:
           0.047522373 = score(doc=1757,freq=1.0), product of:
             0.17921539 = queryWeight, product of:
               2.5131874 = boost
               4.242705 = idf(docFreq=1734, maxDocs=44421)
               0.016807673 = queryNorm
             0.26516905 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.242705 = idf(docFreq=1734, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.3145861 = weight(abstract_txt:ontology in 1757) [ClassicSimilarity], result of:
           0.3145861 = score(doc=1757,freq=4.0), product of:
             0.45563105 = queryWeight, product of:
               4.9078298 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016807673 = queryNorm
             0.6904404 = fieldWeight in 1757, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
       0.2 = coord(5/25)
   

5. Hoffmann, P.; Médini and , L.; Ghodous, P.: Using context to improve semantic interoperability (2006) 0.09

   0.08772843 = sum of:
     0.08772843 = product of:
       0.7310703 = sum of:
         0.12255283 = weight(abstract_txt:ontologies in 434) [ClassicSimilarity], result of:
           0.12255283 = score(doc=434,freq=1.0), product of:
             0.1685112 = queryWeight, product of:
               1.7232037 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.016807673 = queryNorm
             0.72726816 = fieldWeight in 434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.125 = fieldNorm(doc=434)
         0.16362554 = weight(abstract_txt:ranking in 434) [ClassicSimilarity], result of:
           0.16362554 = score(doc=434,freq=1.0), product of:
             0.23388967 = queryWeight, product of:
               2.4864137 = boost
               5.5966744 = idf(docFreq=447, maxDocs=44421)
               0.016807673 = queryNorm
             0.6995843 = fieldWeight in 434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5966744 = idf(docFreq=447, maxDocs=44421)
               0.125 = fieldNorm(doc=434)
         0.4448919 = weight(abstract_txt:ontology in 434) [ClassicSimilarity], result of:
           0.4448919 = score(doc=434,freq=2.0), product of:
             0.45563105 = queryWeight, product of:
               4.9078298 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016807673 = queryNorm
             0.9764302 = fieldWeight in 434, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.125 = fieldNorm(doc=434)
       0.12 = coord(3/25)