Document (#40930)

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.19029695 = sum of:
      0.19029695 = product of:
        0.67963195 = sum of:
          0.039279707 = weight(abstract_txt:illustrate in 704) [ClassicSimilarity], result of:
            0.039279707 = score(doc=704,freq=1.0), product of:
              0.118347734 = queryWeight, product of:
                6.069043 = idf(docFreq=271, maxDocs=43254)
                0.01950023 = queryNorm
              0.3319008 = fieldWeight in 704, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.069043 = idf(docFreq=271, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
          0.15079364 = weight(abstract_txt:family in 704) [ClassicSimilarity], result of:
            0.15079364 = score(doc=704,freq=7.0), product of:
              0.15168308 = queryWeight, product of:
                1.1321099 = boost
                6.870824 = idf(docFreq=121, maxDocs=43254)
                0.01950023 = queryNorm
              0.9941363 = fieldWeight in 704, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                6.870824 = idf(docFreq=121, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
          0.031107744 = weight(abstract_txt:problem in 704) [ClassicSimilarity], result of:
            0.031107744 = score(doc=704,freq=1.0), product of:
              0.1276351 = queryWeight, product of:
                1.4686561 = boost
                4.4566684 = idf(docFreq=1363, maxDocs=43254)
                0.01950023 = queryNorm
              0.24372405 = fieldWeight in 704, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4566684 = idf(docFreq=1363, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
          0.05287809 = weight(abstract_txt:query in 704) [ClassicSimilarity], result of:
            0.05287809 = score(doc=704,freq=2.0), product of:
              0.14428847 = queryWeight, product of:
                1.5615318 = boost
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.01950023 = queryNorm
              0.3664748 = fieldWeight in 704, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
          0.042588048 = weight(abstract_txt:processing in 704) [ClassicSimilarity], result of:
            0.042588048 = score(doc=704,freq=1.0), product of:
              0.15736794 = queryWeight, product of:
                1.6307716 = boost
                4.9486117 = idf(docFreq=833, maxDocs=43254)
                0.01950023 = queryNorm
              0.2706272 = fieldWeight in 704, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9486117 = idf(docFreq=833, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
          0.026311465 = weight(abstract_txt:some in 704) [ClassicSimilarity], result of:
            0.026311465 = score(doc=704,freq=1.0), product of:
              0.13067271 = queryWeight, product of:
                1.8200072 = boost
                3.6819005 = idf(docFreq=2959, maxDocs=43254)
                0.01950023 = queryNorm
              0.20135394 = fieldWeight in 704, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6819005 = idf(docFreq=2959, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
          0.3366733 = weight(abstract_txt:ontology in 704) [ClassicSimilarity], result of:
            0.3366733 = score(doc=704,freq=5.0), product of:
              0.49566346 = queryWeight, product of:
                4.5761313 = boost
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.01950023 = queryNorm
              0.67923766 = fieldWeight in 704, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.0546875 = fieldNorm(doc=704)
        0.28 = coord(7/25)
    
  2. Chinenyanga, T.T.; Kushmerick, N.: ¬An expressive and efficient language for XML information retrieval (2002) 0.15
    0.14569962 = sum of:
      0.14569962 = product of:
        0.6070818 = sum of:
          0.06072331 = weight(abstract_txt:answering in 2463) [ClassicSimilarity], result of:
            0.06072331 = score(doc=2463,freq=1.0), product of:
              0.14475162 = queryWeight, product of:
                1.1059405 = boost
                6.7120004 = idf(docFreq=142, maxDocs=43254)
                0.01950023 = queryNorm
              0.41950002 = fieldWeight in 2463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.7120004 = idf(docFreq=142, maxDocs=43254)
                0.0625 = fieldNorm(doc=2463)
          0.0791218 = weight(abstract_txt:extensions in 2463) [ClassicSimilarity], result of:
            0.0791218 = score(doc=2463,freq=1.0), product of:
              0.17268339 = queryWeight, product of:
                1.2079399 = boost
                7.3310394 = idf(docFreq=76, maxDocs=43254)
                0.01950023 = queryNorm
              0.45818996 = fieldWeight in 2463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.3310394 = idf(docFreq=76, maxDocs=43254)
                0.0625 = fieldNorm(doc=2463)
          0.10467148 = weight(abstract_txt:query in 2463) [ClassicSimilarity], result of:
            0.10467148 = score(doc=2463,freq=6.0), product of:
              0.14428847 = queryWeight, product of:
                1.5615318 = boost
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.01950023 = queryNorm
              0.72543204 = fieldWeight in 2463, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.0625 = fieldNorm(doc=2463)
          0.12567611 = weight(abstract_txt:languages in 2463) [ClassicSimilarity], result of:
            0.12567611 = score(doc=2463,freq=5.0), product of:
              0.1732108 = queryWeight, product of:
                1.7108916 = boost
                5.1917377 = idf(docFreq=653, maxDocs=43254)
                0.01950023 = queryNorm
              0.7255674 = fieldWeight in 2463, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.1917377 = idf(docFreq=653, maxDocs=43254)
                0.0625 = fieldNorm(doc=2463)
          0.030070245 = weight(abstract_txt:some in 2463) [ClassicSimilarity], result of:
            0.030070245 = score(doc=2463,freq=1.0), product of:
              0.13067271 = queryWeight, product of:
                1.8200072 = boost
                3.6819005 = idf(docFreq=2959, maxDocs=43254)
                0.01950023 = queryNorm
              0.23011878 = fieldWeight in 2463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6819005 = idf(docFreq=2959, maxDocs=43254)
                0.0625 = fieldNorm(doc=2463)
          0.20681883 = weight(abstract_txt:querying in 2463) [ClassicSimilarity], result of:
            0.20681883 = score(doc=2463,freq=1.0), product of:
              0.47259265 = queryWeight, product of:
                3.4611795 = boost
                7.002016 = idf(docFreq=106, maxDocs=43254)
                0.01950023 = queryNorm
              0.437626 = fieldWeight in 2463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.002016 = idf(docFreq=106, maxDocs=43254)
                0.0625 = fieldNorm(doc=2463)
        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.14392029 = sum of:
      0.14392029 = product of:
        0.71960145 = sum of:
          0.10517585 = weight(abstract_txt:answering in 1899) [ClassicSimilarity], result of:
            0.10517585 = score(doc=1899,freq=3.0), product of:
              0.14475162 = queryWeight, product of:
                1.1059405 = boost
                6.7120004 = idf(docFreq=142, maxDocs=43254)
                0.01950023 = queryNorm
              0.72659534 = fieldWeight in 1899, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.7120004 = idf(docFreq=142, maxDocs=43254)
                0.0625 = fieldNorm(doc=1899)
          0.03555171 = weight(abstract_txt:problem in 1899) [ClassicSimilarity], result of:
            0.03555171 = score(doc=1899,freq=1.0), product of:
              0.1276351 = queryWeight, product of:
                1.4686561 = boost
                4.4566684 = idf(docFreq=1363, maxDocs=43254)
                0.01950023 = queryNorm
              0.27854177 = fieldWeight in 1899, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4566684 = idf(docFreq=1363, maxDocs=43254)
                0.0625 = fieldNorm(doc=1899)
          0.074013904 = weight(abstract_txt:query in 1899) [ClassicSimilarity], result of:
            0.074013904 = score(doc=1899,freq=3.0), product of:
              0.14428847 = queryWeight, product of:
                1.5615318 = boost
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.01950023 = queryNorm
              0.5129579 = fieldWeight in 1899, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.0625 = fieldNorm(doc=1899)
          0.20681883 = weight(abstract_txt:querying in 1899) [ClassicSimilarity], result of:
            0.20681883 = score(doc=1899,freq=1.0), product of:
              0.47259265 = queryWeight, product of:
                3.4611795 = boost
                7.002016 = idf(docFreq=106, maxDocs=43254)
                0.01950023 = queryNorm
              0.437626 = fieldWeight in 1899, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.002016 = idf(docFreq=106, maxDocs=43254)
                0.0625 = fieldNorm(doc=1899)
          0.29804116 = weight(abstract_txt:ontology in 1899) [ClassicSimilarity], result of:
            0.29804116 = score(doc=1899,freq=3.0), product of:
              0.49566346 = queryWeight, product of:
                4.5761313 = boost
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.01950023 = queryNorm
              0.60129744 = fieldWeight in 1899, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.0625 = fieldNorm(doc=1899)
        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.13124602 = sum of:
      0.13124602 = product of:
        1.0937169 = sum of:
          0.12952434 = weight(abstract_txt:query in 1793) [ClassicSimilarity], result of:
            0.12952434 = score(doc=1793,freq=3.0), product of:
              0.14428847 = queryWeight, product of:
                1.5615318 = boost
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.01950023 = queryNorm
              0.8976763 = fieldWeight in 1793, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.738502 = idf(docFreq=1028, maxDocs=43254)
                0.109375 = fieldNorm(doc=1793)
          0.36193296 = weight(abstract_txt:querying in 1793) [ClassicSimilarity], result of:
            0.36193296 = score(doc=1793,freq=1.0), product of:
              0.47259265 = queryWeight, product of:
                3.4611795 = boost
                7.002016 = idf(docFreq=106, maxDocs=43254)
                0.01950023 = queryNorm
              0.76584554 = fieldWeight in 1793, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.002016 = idf(docFreq=106, maxDocs=43254)
                0.109375 = fieldNorm(doc=1793)
          0.6022596 = weight(abstract_txt:ontology in 1793) [ClassicSimilarity], result of:
            0.6022596 = score(doc=1793,freq=4.0), product of:
              0.49566346 = queryWeight, product of:
                4.5761313 = boost
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.01950023 = queryNorm
              1.2150574 = fieldWeight in 1793, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.109375 = fieldNorm(doc=1793)
        0.12 = coord(3/25)
    
  5. Noy, N.F.: Knowledge representation for intelligent information retrieval in experimental sciences (1997) 0.13
    0.13058667 = sum of:
      0.13058667 = product of:
        0.54411113 = sum of:
          0.053132895 = weight(abstract_txt:answering in 2159) [ClassicSimilarity], result of:
            0.053132895 = score(doc=2159,freq=1.0), product of:
              0.14475162 = queryWeight, product of:
                1.1059405 = boost
                6.7120004 = idf(docFreq=142, maxDocs=43254)
                0.01950023 = queryNorm
              0.3670625 = fieldWeight in 2159, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.7120004 = idf(docFreq=142, maxDocs=43254)
                0.0546875 = fieldNorm(doc=2159)
          0.06923157 = weight(abstract_txt:extensions in 2159) [ClassicSimilarity], result of:
            0.06923157 = score(doc=2159,freq=1.0), product of:
              0.17268339 = queryWeight, product of:
                1.2079399 = boost
                7.3310394 = idf(docFreq=76, maxDocs=43254)
                0.01950023 = queryNorm
              0.40091622 = fieldWeight in 2159, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.3310394 = idf(docFreq=76, maxDocs=43254)
                0.0546875 = fieldNorm(doc=2159)
          0.02928053 = weight(abstract_txt:present in 2159) [ClassicSimilarity], result of:
            0.02928053 = score(doc=2159,freq=1.0), product of:
              0.12258681 = queryWeight, product of:
                1.4393184 = boost
                4.367643 = idf(docFreq=1490, maxDocs=43254)
                0.01950023 = queryNorm
              0.23885547 = fieldWeight in 2159, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.367643 = idf(docFreq=1490, maxDocs=43254)
                0.0546875 = fieldNorm(doc=2159)
          0.031107744 = weight(abstract_txt:problem in 2159) [ClassicSimilarity], result of:
            0.031107744 = score(doc=2159,freq=1.0), product of:
              0.1276351 = queryWeight, product of:
                1.4686561 = boost
                4.4566684 = idf(docFreq=1363, maxDocs=43254)
                0.01950023 = queryNorm
              0.24372405 = fieldWeight in 2159, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4566684 = idf(docFreq=1363, maxDocs=43254)
                0.0546875 = fieldNorm(doc=2159)
          0.06022859 = weight(abstract_txt:processing in 2159) [ClassicSimilarity], result of:
            0.06022859 = score(doc=2159,freq=2.0), product of:
              0.15736794 = queryWeight, product of:
                1.6307716 = boost
                4.9486117 = idf(docFreq=833, maxDocs=43254)
                0.01950023 = queryNorm
              0.38272464 = fieldWeight in 2159, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.9486117 = idf(docFreq=833, maxDocs=43254)
                0.0546875 = fieldNorm(doc=2159)
          0.3011298 = weight(abstract_txt:ontology in 2159) [ClassicSimilarity], result of:
            0.3011298 = score(doc=2159,freq=4.0), product of:
              0.49566346 = queryWeight, product of:
                4.5761313 = boost
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.01950023 = queryNorm
              0.6075287 = fieldWeight in 2159, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.554548 = idf(docFreq=454, maxDocs=43254)
                0.0546875 = fieldNorm(doc=2159)
        0.24 = coord(6/25)