Document (#40929)

Author

Cali, A.

Title

Ontology querying : datalog strikes back

Source

Reasoning Web: Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Eds.: Ianni, G. et al

Imprint

Cham : Springer International Publishing

Year

2017

Pages

S.64-67

Series

Lecture Notes in Computer Scienc;10370) (Information Systems and Applications, incl. Internet/Web, and HCI

Abstract

In this tutorial we address the problem of ontology querying, that is, the problem of answering queries against a theory constituted by facts (the data) and inference rules (the ontology). A varied landscape of ontology languages exists in the scientific literature, with several degrees of complexity of query processing. We argue that Datalog±, a family of languages derived from Datalog, is a powerful tool for ontology querying. To illustrate the impact of this comeback of Datalog, we present the basic paradigms behind the main Datalog± as well as some recent extensions. We also present some efficient query processing techniques for some cases.

Theme

Semantic Web

Similar documents (content)

1. Lim, S.C.J.; Liu, Y.; Lee, W.B.: Multi-facet product information search and retrieval using semantically annotated product family ontology (2010) 0.19

   0.18998262 = sum of:
     0.18998262 = product of:
       0.67850935 = sum of:
         0.039233293 = weight(abstract_txt:illustrate in 239) [ClassicSimilarity], result of:
           0.039233293 = score(doc=239,freq=1.0), product of:
             0.11853111 = queryWeight, product of:
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.019583847 = queryNorm
             0.33099574 = fieldWeight in 239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
         0.15200886 = weight(abstract_txt:family in 239) [ClassicSimilarity], result of:
           0.15200886 = score(doc=239,freq=7.0), product of:
             0.15285364 = queryWeight, product of:
               1.1355904 = boost
               6.8731537 = idf(docFreq=124, maxDocs=44421)
               0.019583847 = queryNorm
             0.9944733 = fieldWeight in 239, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               6.8731537 = idf(docFreq=124, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
         0.031383887 = weight(abstract_txt:problem in 239) [ClassicSimilarity], result of:
           0.031383887 = score(doc=239,freq=1.0), product of:
             0.12868966 = queryWeight, product of:
               1.4735696 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.019583847 = queryNorm
             0.24387264 = fieldWeight in 239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
         0.053790927 = weight(abstract_txt:query in 239) [ClassicSimilarity], result of:
           0.053790927 = score(doc=239,freq=2.0), product of:
             0.1462857 = queryWeight, product of:
               1.5710853 = boost
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.019583847 = queryNorm
             0.36771145 = fieldWeight in 239, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
         0.042275622 = weight(abstract_txt:processing in 239) [ClassicSimilarity], result of:
           0.042275622 = score(doc=239,freq=1.0), product of:
             0.15696369 = queryWeight, product of:
               1.6274154 = boost
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.019583847 = queryNorm
             0.26933378 = fieldWeight in 239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
         0.026424719 = weight(abstract_txt:some in 239) [ClassicSimilarity], result of:
           0.026424719 = score(doc=239,freq=1.0), product of:
             0.13135396 = queryWeight, product of:
               1.8233331 = boost
               3.6785707 = idf(docFreq=3049, maxDocs=44421)
               0.019583847 = queryNorm
             0.20117185 = fieldWeight in 239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6785707 = idf(docFreq=3049, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
         0.3333921 = weight(abstract_txt:ontology in 239) [ClassicSimilarity], result of:
           0.3333921 = score(doc=239,freq=5.0), product of:
             0.49358967 = queryWeight, product of:
               4.5630145 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.019583847 = queryNorm
             0.6754439 = fieldWeight in 239, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0546875 = fieldNorm(doc=239)
       0.28 = coord(7/25)
   

2. Chinenyanga, T.T.; Kushmerick, N.: ¬An expressive and efficient language for XML information retrieval (2002) 0.15

   0.14643754 = sum of:
     0.14643754 = product of:
       0.6101564 = sum of:
         0.059173428 = weight(abstract_txt:answering in 1462) [ClassicSimilarity], result of:
           0.059173428 = score(doc=1462,freq=1.0), product of:
             0.14261079 = queryWeight, product of:
               1.0968822 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.019583847 = queryNorm
             0.41492954 = fieldWeight in 1462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.0625 = fieldNorm(doc=1462)
         0.07971033 = weight(abstract_txt:extensions in 1462) [ClassicSimilarity], result of:
           0.07971033 = score(doc=1462,freq=1.0), product of:
             0.17394459 = queryWeight, product of:
               1.2114048 = boost
               7.33202 = idf(docFreq=78, maxDocs=44421)
               0.019583847 = queryNorm
             0.45825124 = fieldWeight in 1462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.33202 = idf(docFreq=78, maxDocs=44421)
               0.0625 = fieldNorm(doc=1462)
         0.10647842 = weight(abstract_txt:query in 1462) [ClassicSimilarity], result of:
           0.10647842 = score(doc=1462,freq=6.0), product of:
             0.1462857 = queryWeight, product of:
               1.5710853 = boost
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.019583847 = queryNorm
             0.72787994 = fieldWeight in 1462, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.0625 = fieldNorm(doc=1462)
         0.1264128 = weight(abstract_txt:languages in 1462) [ClassicSimilarity], result of:
           0.1264128 = score(doc=1462,freq=5.0), product of:
             0.17429379 = queryWeight, product of:
               1.7149038 = boost
               5.189722 = idf(docFreq=672, maxDocs=44421)
               0.019583847 = queryNorm
             0.7252857 = fieldWeight in 1462, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.189722 = idf(docFreq=672, maxDocs=44421)
               0.0625 = fieldNorm(doc=1462)
         0.030199677 = weight(abstract_txt:some in 1462) [ClassicSimilarity], result of:
           0.030199677 = score(doc=1462,freq=1.0), product of:
             0.13135396 = queryWeight, product of:
               1.8233331 = boost
               3.6785707 = idf(docFreq=3049, maxDocs=44421)
               0.019583847 = queryNorm
             0.22991067 = fieldWeight in 1462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6785707 = idf(docFreq=3049, maxDocs=44421)
               0.0625 = fieldNorm(doc=1462)
         0.2081818 = weight(abstract_txt:querying in 1462) [ClassicSimilarity], result of:
           0.2081818 = score(doc=1462,freq=1.0), product of:
             0.47577703 = queryWeight, product of:
               3.4701333 = boost
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.019583847 = queryNorm
             0.4375617 = fieldWeight in 1462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.0625 = fieldNorm(doc=1462)
       0.24 = coord(6/25)
   

3. Call, A.; Gottlob, G.; Pieris, A.: ¬The return of the entity-relationship model : ontological query answering (2012) 0.14

   0.14339371 = sum of:
     0.14339371 = product of:
       0.71696854 = sum of:
         0.10249138 = weight(abstract_txt:answering in 1434) [ClassicSimilarity], result of:
           0.10249138 = score(doc=1434,freq=3.0), product of:
             0.14261079 = queryWeight, product of:
               1.0968822 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.019583847 = queryNorm
             0.718679 = fieldWeight in 1434, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.0625 = fieldNorm(doc=1434)
         0.0358673 = weight(abstract_txt:problem in 1434) [ClassicSimilarity], result of:
           0.0358673 = score(doc=1434,freq=1.0), product of:
             0.12868966 = queryWeight, product of:
               1.4735696 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.019583847 = queryNorm
             0.2787116 = fieldWeight in 1434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.0625 = fieldNorm(doc=1434)
         0.07529162 = weight(abstract_txt:query in 1434) [ClassicSimilarity], result of:
           0.07529162 = score(doc=1434,freq=3.0), product of:
             0.1462857 = queryWeight, product of:
               1.5710853 = boost
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.019583847 = queryNorm
             0.51468885 = fieldWeight in 1434, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.0625 = fieldNorm(doc=1434)
         0.2081818 = weight(abstract_txt:querying in 1434) [ClassicSimilarity], result of:
           0.2081818 = score(doc=1434,freq=1.0), product of:
             0.47577703 = queryWeight, product of:
               3.4701333 = boost
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.019583847 = queryNorm
             0.4375617 = fieldWeight in 1434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.0625 = fieldNorm(doc=1434)
         0.29513648 = weight(abstract_txt:ontology in 1434) [ClassicSimilarity], result of:
           0.29513648 = score(doc=1434,freq=3.0), product of:
             0.49358967 = queryWeight, product of:
               4.5630145 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.019583847 = queryNorm
             0.59793895 = fieldWeight in 1434, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=1434)
       0.2 = coord(5/25)
   

4. Hoang, H.H.; Tjoa, A.M: ¬The state of the art of ontology-based query systems : a comparison of existing approaches (2006) 0.13

   0.1310962 = sum of:
     0.1310962 = product of:
       1.0924684 = sum of:
         0.13176033 = weight(abstract_txt:query in 792) [ClassicSimilarity], result of:
           0.13176033 = score(doc=792,freq=3.0), product of:
             0.1462857 = queryWeight, product of:
               1.5710853 = boost
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.019583847 = queryNorm
             0.90070546 = fieldWeight in 792, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.109375 = fieldNorm(doc=792)
         0.36431813 = weight(abstract_txt:querying in 792) [ClassicSimilarity], result of:
           0.36431813 = score(doc=792,freq=1.0), product of:
             0.47577703 = queryWeight, product of:
               3.4701333 = boost
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.019583847 = queryNorm
             0.76573294 = fieldWeight in 792, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.109375 = fieldNorm(doc=792)
         0.59638995 = weight(abstract_txt:ontology in 792) [ClassicSimilarity], result of:
           0.59638995 = score(doc=792,freq=4.0), product of:
             0.49358967 = queryWeight, product of:
               4.5630145 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.019583847 = queryNorm
             1.2082708 = fieldWeight in 792, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.109375 = fieldNorm(doc=792)
       0.12 = coord(3/25)
   

5. Noy, N.F.: Knowledge representation for intelligent information retrieval in experimental sciences (1997) 0.13

   0.12958457 = sum of:
     0.12958457 = product of:
       0.5399357 = sum of:
         0.05177675 = weight(abstract_txt:answering in 1694) [ClassicSimilarity], result of:
           0.05177675 = score(doc=1694,freq=1.0), product of:
             0.14261079 = queryWeight, product of:
               1.0968822 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.019583847 = queryNorm
             0.36306334 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.06974653 = weight(abstract_txt:extensions in 1694) [ClassicSimilarity], result of:
           0.06974653 = score(doc=1694,freq=1.0), product of:
             0.17394459 = queryWeight, product of:
               1.2114048 = boost
               7.33202 = idf(docFreq=78, maxDocs=44421)
               0.019583847 = queryNorm
             0.40096983 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.33202 = idf(docFreq=78, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.029046843 = weight(abstract_txt:present in 1694) [ClassicSimilarity], result of:
           0.029046843 = score(doc=1694,freq=1.0), product of:
             0.12221893 = queryWeight, product of:
               1.436045 = boost
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.019583847 = queryNorm
             0.23766239 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.031383887 = weight(abstract_txt:problem in 1694) [ClassicSimilarity], result of:
           0.031383887 = score(doc=1694,freq=1.0), product of:
             0.12868966 = queryWeight, product of:
               1.4735696 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.019583847 = queryNorm
             0.24387264 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.05978676 = weight(abstract_txt:processing in 1694) [ClassicSimilarity], result of:
           0.05978676 = score(doc=1694,freq=2.0), product of:
             0.15696369 = queryWeight, product of:
               1.6274154 = boost
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.019583847 = queryNorm
             0.38089547 = fieldWeight in 1694, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.29819497 = weight(abstract_txt:ontology in 1694) [ClassicSimilarity], result of:
           0.29819497 = score(doc=1694,freq=4.0), product of:
             0.49358967 = queryWeight, product of:
               4.5630145 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.019583847 = queryNorm
             0.6041354 = fieldWeight in 1694, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
       0.24 = coord(6/25)