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.17552647 = sum of:
     0.17552647 = product of:
       0.7313603 = sum of:
         0.059258837 = weight(abstract_txt:consuming in 3466) [ClassicSimilarity], result of:
           0.059258837 = score(doc=3466,freq=1.0), product of:
             0.13070177 = queryWeight, product of:
               1.0749998 = boost
               7.2542357 = idf(docFreq=84, maxDocs=44218)
               0.016760284 = queryNorm
             0.45338973 = fieldWeight in 3466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.2542357 = idf(docFreq=84, maxDocs=44218)
               0.0625 = fieldNorm(doc=3466)
         0.061070964 = weight(abstract_txt:candidate in 3466) [ClassicSimilarity], result of:
           0.061070964 = score(doc=3466,freq=1.0), product of:
             0.13335292 = queryWeight, product of:
               1.0858477 = boost
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.016760284 = queryNorm
             0.45796496 = fieldWeight in 3466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.0625 = fieldNorm(doc=3466)
         0.018510005 = weight(abstract_txt:well in 3466) [ClassicSimilarity], result of:
           0.018510005 = score(doc=3466,freq=1.0), product of:
             0.0758101 = queryWeight, product of:
               1.1578337 = boost
               3.9066048 = idf(docFreq=2416, maxDocs=44218)
               0.016760284 = queryNorm
             0.2441628 = fieldWeight in 3466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9066048 = idf(docFreq=2416, maxDocs=44218)
               0.0625 = fieldNorm(doc=3466)
         0.10626861 = weight(abstract_txt:ontologies in 3466) [ClassicSimilarity], result of:
           0.10626861 = score(doc=3466,freq=3.0), product of:
             0.16853325 = queryWeight, product of:
               1.7263365 = boost
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.016760284 = queryNorm
             0.6305498 = fieldWeight in 3466, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.0625 = fieldNorm(doc=3466)
         0.04039463 = weight(abstract_txt:most in 3466) [ClassicSimilarity], result of:
           0.04039463 = score(doc=3466,freq=2.0), product of:
             0.11588455 = queryWeight, product of:
               1.7532388 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.016760284 = queryNorm
             0.3485765 = fieldWeight in 3466, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.0625 = fieldNorm(doc=3466)
         0.44585732 = weight(abstract_txt:ontology in 3466) [ClassicSimilarity], result of:
           0.44585732 = score(doc=3466,freq=8.0), product of:
             0.45596382 = queryWeight, product of:
               4.9182262 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.016760284 = queryNorm
             0.9778349 = fieldWeight in 3466, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=3466)
       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.13591968 = sum of:
     0.13591968 = product of:
       0.566332 = sum of:
         0.03247546 = weight(abstract_txt:inference in 2863) [ClassicSimilarity], result of:
           0.03247546 = score(doc=2863,freq=1.0), product of:
             0.11973733 = queryWeight, product of:
               1.028922 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.016760284 = queryNorm
             0.27122253 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.039417084 = weight(abstract_txt:encouraging in 2863) [ClassicSimilarity], result of:
           0.039417084 = score(doc=2863,freq=1.0), product of:
             0.13624346 = queryWeight, product of:
               1.097553 = boost
               7.406428 = idf(docFreq=72, maxDocs=44218)
               0.016760284 = queryNorm
             0.28931358 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.406428 = idf(docFreq=72, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.011568753 = weight(abstract_txt:well in 2863) [ClassicSimilarity], result of:
           0.011568753 = score(doc=2863,freq=1.0), product of:
             0.0758101 = queryWeight, product of:
               1.1578337 = boost
               3.9066048 = idf(docFreq=2416, maxDocs=44218)
               0.016760284 = queryNorm
             0.15260175 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9066048 = idf(docFreq=2416, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.13825984 = weight(abstract_txt:ontologies in 2863) [ClassicSimilarity], result of:
           0.13825984 = score(doc=2863,freq=13.0), product of:
             0.16853325 = queryWeight, product of:
               1.7263365 = boost
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.016760284 = queryNorm
             0.82037127 = fieldWeight in 2863, product of:
               3.6055512 = tf(freq=13.0), with freq of:
                 13.0 = termFreq=13.0
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.017852074 = weight(abstract_txt:most in 2863) [ClassicSimilarity], result of:
           0.017852074 = score(doc=2863,freq=1.0), product of:
             0.11588455 = queryWeight, product of:
               1.7532388 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.016760284 = queryNorm
             0.1540505 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.32675877 = weight(abstract_txt:ontology in 2863) [ClassicSimilarity], result of:
           0.32675877 = score(doc=2863,freq=11.0), product of:
             0.45596382 = queryWeight, product of:
               4.9182262 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.016760284 = queryNorm
             0.71663314 = fieldWeight in 2863, product of:
               3.3166249 = tf(freq=11.0), with freq of:
                 11.0 = termFreq=11.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
       0.24 = coord(6/25)
   

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

   0.107990295 = sum of:
     0.107990295 = product of:
       0.67493933 = sum of:
         0.055183917 = weight(abstract_txt:encouraging in 4659) [ClassicSimilarity], result of:
           0.055183917 = score(doc=4659,freq=1.0), product of:
             0.13624346 = queryWeight, product of:
               1.097553 = boost
               7.406428 = idf(docFreq=72, maxDocs=44218)
               0.016760284 = queryNorm
             0.405039 = fieldWeight in 4659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.406428 = idf(docFreq=72, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4659)
         0.14203699 = weight(abstract_txt:ontologies in 4659) [ClassicSimilarity], result of:
           0.14203699 = score(doc=4659,freq=7.0), product of:
             0.16853325 = queryWeight, product of:
               1.7263365 = boost
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.016760284 = queryNorm
             0.84278315 = fieldWeight in 4659, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4659)
         0.041545227 = weight(abstract_txt:over in 4659) [ClassicSimilarity], result of:
           0.041545227 = score(doc=4659,freq=1.0), product of:
             0.17898147 = queryWeight, product of:
               2.5159483 = boost
               4.244485 = idf(docFreq=1723, maxDocs=44218)
               0.016760284 = queryNorm
             0.23212028 = fieldWeight in 4659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.244485 = idf(docFreq=1723, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4659)
         0.4361732 = weight(abstract_txt:ontology in 4659) [ClassicSimilarity], result of:
           0.4361732 = score(doc=4659,freq=10.0), product of:
             0.45596382 = queryWeight, product of:
               4.9182262 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.016760284 = queryNorm
             0.9565961 = fieldWeight in 4659, product of:
               3.1622777 = tf(freq=10.0), with freq of:
                 10.0 = termFreq=10.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4659)
       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.09150467 = sum of:
     0.09150467 = product of:
       0.45752335 = sum of:
         0.047701053 = weight(abstract_txt:accepted in 756) [ClassicSimilarity], result of:
           0.047701053 = score(doc=756,freq=1.0), product of:
             0.113100536 = queryWeight, product of:
               6.7481275 = idf(docFreq=140, maxDocs=44218)
               0.016760284 = queryNorm
             0.42175797 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7481275 = idf(docFreq=140, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.018510005 = weight(abstract_txt:well in 756) [ClassicSimilarity], result of:
           0.018510005 = score(doc=756,freq=1.0), product of:
             0.0758101 = queryWeight, product of:
               1.1578337 = boost
               3.9066048 = idf(docFreq=2416, maxDocs=44218)
               0.016760284 = queryNorm
             0.2441628 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9066048 = idf(docFreq=2416, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.028563317 = weight(abstract_txt:most in 756) [ClassicSimilarity], result of:
           0.028563317 = score(doc=756,freq=1.0), product of:
             0.11588455 = queryWeight, product of:
               1.7532388 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.016760284 = queryNorm
             0.24648081 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.04748026 = weight(abstract_txt:over in 756) [ClassicSimilarity], result of:
           0.04748026 = score(doc=756,freq=1.0), product of:
             0.17898147 = queryWeight, product of:
               2.5159483 = boost
               4.244485 = idf(docFreq=1723, maxDocs=44218)
               0.016760284 = queryNorm
             0.2652803 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.244485 = idf(docFreq=1723, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.31526873 = weight(abstract_txt:ontology in 756) [ClassicSimilarity], result of:
           0.31526873 = score(doc=756,freq=4.0), product of:
             0.45596382 = queryWeight, product of:
               4.9182262 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.016760284 = queryNorm
             0.69143367 = fieldWeight in 756, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
       0.2 = coord(5/25)
   

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

   0.08784334 = sum of:
     0.08784334 = product of:
       0.7320279 = sum of:
         0.12270842 = weight(abstract_txt:ontologies in 4434) [ClassicSimilarity], result of:
           0.12270842 = score(doc=4434,freq=1.0), product of:
             0.16853325 = queryWeight, product of:
               1.7263365 = boost
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.016760284 = queryNorm
             0.7280962 = fieldWeight in 4434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.125 = fieldNorm(doc=4434)
         0.16346219 = weight(abstract_txt:ranking in 4434) [ClassicSimilarity], result of:
           0.16346219 = score(doc=4434,freq=1.0), product of:
             0.23356692 = queryWeight, product of:
               2.489052 = boost
               5.598813 = idf(docFreq=444, maxDocs=44218)
               0.016760284 = queryNorm
             0.69985163 = fieldWeight in 4434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.598813 = idf(docFreq=444, maxDocs=44218)
               0.125 = fieldNorm(doc=4434)
         0.44585732 = weight(abstract_txt:ontology in 4434) [ClassicSimilarity], result of:
           0.44585732 = score(doc=4434,freq=2.0), product of:
             0.45596382 = queryWeight, product of:
               4.9182262 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.016760284 = queryNorm
             0.9778349 = fieldWeight in 4434, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.125 = fieldNorm(doc=4434)
       0.12 = coord(3/25)