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.18973298 = sum of:
     0.18973298 = product of:
       0.6776178 = sum of:
         0.03908752 = weight(abstract_txt:illustrate in 4239) [ClassicSimilarity], result of:
           0.03908752 = score(doc=4239,freq=1.0), product of:
             0.11811125 = queryWeight, product of:
               6.0514402 = idf(docFreq=282, maxDocs=44218)
               0.019517874 = queryNorm
             0.33093813 = fieldWeight in 4239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0514402 = idf(docFreq=282, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
         0.15122044 = weight(abstract_txt:family in 4239) [ClassicSimilarity], result of:
           0.15122044 = score(doc=4239,freq=7.0), product of:
             0.15216224 = queryWeight, product of:
               1.1350312 = boost
               6.8685737 = idf(docFreq=124, maxDocs=44218)
               0.019517874 = queryNorm
             0.9938106 = fieldWeight in 4239, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               6.8685737 = idf(docFreq=124, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
         0.031308085 = weight(abstract_txt:problem in 4239) [ClassicSimilarity], result of:
           0.031308085 = score(doc=4239,freq=1.0), product of:
             0.12834537 = queryWeight, product of:
               1.4742104 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.019517874 = queryNorm
             0.24393621 = fieldWeight in 4239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
         0.05359446 = weight(abstract_txt:query in 4239) [ClassicSimilarity], result of:
           0.05359446 = score(doc=4239,freq=2.0), product of:
             0.1457737 = queryWeight, product of:
               1.5711185 = boost
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.019517874 = queryNorm
             0.36765522 = fieldWeight in 4239, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
         0.042317588 = weight(abstract_txt:processing in 4239) [ClassicSimilarity], result of:
           0.042317588 = score(doc=4239,freq=1.0), product of:
             0.15690006 = queryWeight, product of:
               1.629975 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.019517874 = queryNorm
             0.26971045 = fieldWeight in 4239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
         0.026326573 = weight(abstract_txt:some in 4239) [ClassicSimilarity], result of:
           0.026326573 = score(doc=4239,freq=1.0), product of:
             0.1308888 = queryWeight, product of:
               1.8233341 = boost
               3.6779325 = idf(docFreq=3037, maxDocs=44218)
               0.019517874 = queryNorm
             0.20113693 = fieldWeight in 4239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6779325 = idf(docFreq=3037, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
         0.33376315 = weight(abstract_txt:ontology in 4239) [ClassicSimilarity], result of:
           0.33376315 = score(doc=4239,freq=5.0), product of:
             0.49342915 = queryWeight, product of:
               4.5703745 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.019517874 = queryNorm
             0.67641556 = fieldWeight in 4239, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4239)
       0.28 = coord(7/25)
   

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

   0.14640436 = sum of:
     0.14640436 = product of:
       0.61001813 = sum of:
         0.05989885 = weight(abstract_txt:answering in 462) [ClassicSimilarity], result of:
           0.05989885 = score(doc=462,freq=1.0), product of:
             0.14362065 = queryWeight, product of:
               1.1027138 = boost
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.019517874 = queryNorm
             0.4170629 = fieldWeight in 462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.0625 = fieldNorm(doc=462)
         0.07930681 = weight(abstract_txt:extensions in 462) [ClassicSimilarity], result of:
           0.07930681 = score(doc=462,freq=1.0), product of:
             0.17317222 = queryWeight, product of:
               1.2108587 = boost
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.019517874 = queryNorm
             0.45796496 = fieldWeight in 462, 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=462)
         0.106089525 = weight(abstract_txt:query in 462) [ClassicSimilarity], result of:
           0.106089525 = score(doc=462,freq=6.0), product of:
             0.1457737 = queryWeight, product of:
               1.5711185 = boost
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.019517874 = queryNorm
             0.72776866 = fieldWeight in 462, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.0625 = fieldNorm(doc=462)
         0.12589204 = weight(abstract_txt:languages in 462) [ClassicSimilarity], result of:
           0.12589204 = score(doc=462,freq=5.0), product of:
             0.17362946 = queryWeight, product of:
               1.7146721 = boost
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.019517874 = queryNorm
             0.72506154 = fieldWeight in 462, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.0625 = fieldNorm(doc=462)
         0.030087512 = weight(abstract_txt:some in 462) [ClassicSimilarity], result of:
           0.030087512 = score(doc=462,freq=1.0), product of:
             0.1308888 = queryWeight, product of:
               1.8233341 = boost
               3.6779325 = idf(docFreq=3037, maxDocs=44218)
               0.019517874 = queryNorm
             0.22987078 = fieldWeight in 462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6779325 = idf(docFreq=3037, maxDocs=44218)
               0.0625 = fieldNorm(doc=462)
         0.20874342 = weight(abstract_txt:querying in 462) [ClassicSimilarity], result of:
           0.20874342 = score(doc=462,freq=1.0), product of:
             0.47612414 = queryWeight, product of:
               3.4775639 = boost
               7.014756 = idf(docFreq=107, maxDocs=44218)
               0.019517874 = queryNorm
             0.43842226 = fieldWeight in 462, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.014756 = idf(docFreq=107, maxDocs=44218)
               0.0625 = fieldNorm(doc=462)
       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.1437507 = sum of:
     0.1437507 = product of:
       0.71875346 = sum of:
         0.103747845 = weight(abstract_txt:answering in 434) [ClassicSimilarity], result of:
           0.103747845 = score(doc=434,freq=3.0), product of:
             0.14362065 = queryWeight, product of:
               1.1027138 = boost
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.019517874 = queryNorm
             0.72237414 = fieldWeight in 434, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.0625 = fieldNorm(doc=434)
         0.03578067 = weight(abstract_txt:problem in 434) [ClassicSimilarity], result of:
           0.03578067 = score(doc=434,freq=1.0), product of:
             0.12834537 = queryWeight, product of:
               1.4742104 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.019517874 = queryNorm
             0.27878425 = fieldWeight in 434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.0625 = fieldNorm(doc=434)
         0.07501662 = weight(abstract_txt:query in 434) [ClassicSimilarity], result of:
           0.07501662 = score(doc=434,freq=3.0), product of:
             0.1457737 = queryWeight, product of:
               1.5711185 = boost
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.019517874 = queryNorm
             0.5146101 = fieldWeight in 434, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.0625 = fieldNorm(doc=434)
         0.20874342 = weight(abstract_txt:querying in 434) [ClassicSimilarity], result of:
           0.20874342 = score(doc=434,freq=1.0), product of:
             0.47612414 = queryWeight, product of:
               3.4775639 = boost
               7.014756 = idf(docFreq=107, maxDocs=44218)
               0.019517874 = queryNorm
             0.43842226 = fieldWeight in 434, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.014756 = idf(docFreq=107, maxDocs=44218)
               0.0625 = fieldNorm(doc=434)
         0.29546493 = weight(abstract_txt:ontology in 434) [ClassicSimilarity], result of:
           0.29546493 = score(doc=434,freq=3.0), product of:
             0.49342915 = queryWeight, product of:
               4.5703745 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.019517874 = queryNorm
             0.5987991 = fieldWeight in 434, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=434)
       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.13123603 = sum of:
     0.13123603 = product of:
       1.0936337 = sum of:
         0.13127908 = weight(abstract_txt:query in 792) [ClassicSimilarity], result of:
           0.13127908 = score(doc=792,freq=3.0), product of:
             0.1457737 = queryWeight, product of:
               1.5711185 = boost
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.019517874 = queryNorm
             0.9005677 = fieldWeight in 792, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.109375 = fieldNorm(doc=792)
         0.36530098 = weight(abstract_txt:querying in 792) [ClassicSimilarity], result of:
           0.36530098 = score(doc=792,freq=1.0), product of:
             0.47612414 = queryWeight, product of:
               3.4775639 = boost
               7.014756 = idf(docFreq=107, maxDocs=44218)
               0.019517874 = queryNorm
             0.767239 = fieldWeight in 792, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.014756 = idf(docFreq=107, maxDocs=44218)
               0.109375 = fieldNorm(doc=792)
         0.59705365 = weight(abstract_txt:ontology in 792) [ClassicSimilarity], result of:
           0.59705365 = score(doc=792,freq=4.0), product of:
             0.49342915 = queryWeight, product of:
               4.5703745 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.019517874 = queryNorm
             1.2100089 = fieldWeight in 792, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               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.12972055 = sum of:
     0.12972055 = product of:
       0.5405023 = sum of:
         0.05241149 = weight(abstract_txt:answering in 694) [ClassicSimilarity], result of:
           0.05241149 = score(doc=694,freq=1.0), product of:
             0.14362065 = queryWeight, product of:
               1.1027138 = boost
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.019517874 = queryNorm
             0.36493003 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.069393456 = weight(abstract_txt:extensions in 694) [ClassicSimilarity], result of:
           0.069393456 = score(doc=694,freq=1.0), product of:
             0.17317222 = queryWeight, product of:
               1.2108587 = boost
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.019517874 = queryNorm
             0.40071934 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.029016368 = weight(abstract_txt:present in 694) [ClassicSimilarity], result of:
           0.029016368 = score(doc=694,freq=1.0), product of:
             0.122003205 = queryWeight, product of:
               1.437325 = boost
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.019517874 = queryNorm
             0.23783283 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.031308085 = weight(abstract_txt:problem in 694) [ClassicSimilarity], result of:
           0.031308085 = score(doc=694,freq=1.0), product of:
             0.12834537 = queryWeight, product of:
               1.4742104 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.019517874 = queryNorm
             0.24393621 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.0598461 = weight(abstract_txt:processing in 694) [ClassicSimilarity], result of:
           0.0598461 = score(doc=694,freq=2.0), product of:
             0.15690006 = queryWeight, product of:
               1.629975 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.019517874 = queryNorm
             0.38142815 = fieldWeight in 694, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.29852682 = weight(abstract_txt:ontology in 694) [ClassicSimilarity], result of:
           0.29852682 = score(doc=694,freq=4.0), product of:
             0.49342915 = queryWeight, product of:
               4.5703745 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.019517874 = queryNorm
             0.60500443 = fieldWeight in 694, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
       0.24 = coord(6/25)