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.19085546 = sum of:
      0.19085546 = product of:
        0.6816266 = sum of:
          0.039245453 = weight(abstract_txt:illustrate in 1240) [ClassicSimilarity], result of:
            0.039245453 = score(doc=1240,freq=1.0), product of:
              0.1180432 = queryWeight, product of:
                6.0793943 = idf(docFreq=265, maxDocs=42740)
                0.019416934 = queryNorm
              0.33246687 = fieldWeight in 1240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.0793943 = idf(docFreq=265, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
          0.15019347 = weight(abstract_txt:family in 1240) [ClassicSimilarity], result of:
            0.15019347 = score(doc=1240,freq=7.0), product of:
              0.15097885 = queryWeight, product of:
                1.1309348 = boost
                6.8753986 = idf(docFreq=119, maxDocs=42740)
                0.019416934 = queryNorm
              0.99479806 = fieldWeight in 1240, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                6.8753986 = idf(docFreq=119, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
          0.030949807 = weight(abstract_txt:problem in 1240) [ClassicSimilarity], result of:
            0.030949807 = score(doc=1240,freq=1.0), product of:
              0.12694922 = queryWeight, product of:
                1.4665928 = boost
                4.457998 = idf(docFreq=1345, maxDocs=42740)
                0.019416934 = queryNorm
              0.24379675 = fieldWeight in 1240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.457998 = idf(docFreq=1345, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
          0.052392095 = weight(abstract_txt:query in 1240) [ClassicSimilarity], result of:
            0.052392095 = score(doc=1240,freq=2.0), product of:
              0.14311722 = queryWeight, product of:
                1.5571859 = boost
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.019416934 = queryNorm
              0.3660782 = fieldWeight in 1240, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
          0.04236788 = weight(abstract_txt:processing in 1240) [ClassicSimilarity], result of:
            0.04236788 = score(doc=1240,freq=1.0), product of:
              0.15651257 = queryWeight, product of:
                1.6284301 = boost
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.019416934 = queryNorm
              0.27069953 = fieldWeight in 1240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
          0.026233565 = weight(abstract_txt:some in 1240) [ClassicSimilarity], result of:
            0.026233565 = score(doc=1240,freq=1.0), product of:
              0.13015474 = queryWeight, product of:
                1.818738 = boost
                3.6856086 = idf(docFreq=2913, maxDocs=42740)
                0.019416934 = queryNorm
              0.20155673 = fieldWeight in 1240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6856086 = idf(docFreq=2913, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
          0.34024435 = weight(abstract_txt:ontology in 1240) [ClassicSimilarity], result of:
            0.34024435 = score(doc=1240,freq=5.0), product of:
              0.49816746 = queryWeight, product of:
                4.59359 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.019416934 = queryNorm
              0.6829919 = fieldWeight in 1240, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0546875 = fieldNorm(doc=1240)
        0.28 = coord(7/25)
    
  2. Chinenyanga, T.T.; Kushmerick, N.: ¬An expressive and efficient language for XML information retrieval (2002) 0.15
    0.14519496 = sum of:
      0.14519496 = product of:
        0.60497904 = sum of:
          0.060610816 = weight(abstract_txt:answering in 1463) [ClassicSimilarity], result of:
            0.060610816 = score(doc=1463,freq=1.0), product of:
              0.14428467 = queryWeight, product of:
                1.1055785 = boost
                6.721248 = idf(docFreq=139, maxDocs=42740)
                0.019416934 = queryNorm
              0.420078 = fieldWeight in 1463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.721248 = idf(docFreq=139, maxDocs=42740)
                0.0625 = fieldNorm(doc=1463)
          0.07868568 = weight(abstract_txt:extensions in 1463) [ClassicSimilarity], result of:
            0.07868568 = score(doc=1463,freq=1.0), product of:
              0.17170538 = queryWeight, product of:
                1.2060671 = boost
                7.332157 = idf(docFreq=75, maxDocs=42740)
                0.019416934 = queryNorm
              0.45825982 = fieldWeight in 1463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.332157 = idf(docFreq=75, maxDocs=42740)
                0.0625 = fieldNorm(doc=1463)
          0.10370945 = weight(abstract_txt:query in 1463) [ClassicSimilarity], result of:
            0.10370945 = score(doc=1463,freq=6.0), product of:
              0.14311722 = queryWeight, product of:
                1.5571859 = boost
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.019416934 = queryNorm
              0.7246469 = fieldWeight in 1463, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.0625 = fieldNorm(doc=1463)
          0.12495173 = weight(abstract_txt:languages in 1463) [ClassicSimilarity], result of:
            0.12495173 = score(doc=1463,freq=5.0), product of:
              0.17220071 = queryWeight, product of:
                1.7080948 = boost
                5.192091 = idf(docFreq=645, maxDocs=42740)
                0.019416934 = queryNorm
              0.7256168 = fieldWeight in 1463, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.192091 = idf(docFreq=645, maxDocs=42740)
                0.0625 = fieldNorm(doc=1463)
          0.029981215 = weight(abstract_txt:some in 1463) [ClassicSimilarity], result of:
            0.029981215 = score(doc=1463,freq=1.0), product of:
              0.13015474 = queryWeight, product of:
                1.818738 = boost
                3.6856086 = idf(docFreq=2913, maxDocs=42740)
                0.019416934 = queryNorm
              0.23035054 = fieldWeight in 1463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6856086 = idf(docFreq=2913, maxDocs=42740)
                0.0625 = fieldNorm(doc=1463)
          0.20704013 = weight(abstract_txt:querying in 1463) [ClassicSimilarity], result of:
            0.20704013 = score(doc=1463,freq=1.0), product of:
              0.4719872 = queryWeight, product of:
                3.4634206 = boost
                7.0185 = idf(docFreq=103, maxDocs=42740)
                0.019416934 = queryNorm
              0.43865624 = fieldWeight in 1463, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.0185 = idf(docFreq=103, maxDocs=42740)
                0.0625 = fieldNorm(doc=1463)
        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.1443857 = sum of:
      0.1443857 = product of:
        0.7219285 = sum of:
          0.10498101 = weight(abstract_txt:answering in 2435) [ClassicSimilarity], result of:
            0.10498101 = score(doc=2435,freq=3.0), product of:
              0.14428467 = queryWeight, product of:
                1.1055785 = boost
                6.721248 = idf(docFreq=139, maxDocs=42740)
                0.019416934 = queryNorm
              0.72759646 = fieldWeight in 2435, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.721248 = idf(docFreq=139, maxDocs=42740)
                0.0625 = fieldNorm(doc=2435)
          0.03537121 = weight(abstract_txt:problem in 2435) [ClassicSimilarity], result of:
            0.03537121 = score(doc=2435,freq=1.0), product of:
              0.12694922 = queryWeight, product of:
                1.4665928 = boost
                4.457998 = idf(docFreq=1345, maxDocs=42740)
                0.019416934 = queryNorm
              0.27862486 = fieldWeight in 2435, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.457998 = idf(docFreq=1345, maxDocs=42740)
                0.0625 = fieldNorm(doc=2435)
          0.07333365 = weight(abstract_txt:query in 2435) [ClassicSimilarity], result of:
            0.07333365 = score(doc=2435,freq=3.0), product of:
              0.14311722 = queryWeight, product of:
                1.5571859 = boost
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.019416934 = queryNorm
              0.5124027 = fieldWeight in 2435, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.0625 = fieldNorm(doc=2435)
          0.20704013 = weight(abstract_txt:querying in 2435) [ClassicSimilarity], result of:
            0.20704013 = score(doc=2435,freq=1.0), product of:
              0.4719872 = queryWeight, product of:
                3.4634206 = boost
                7.0185 = idf(docFreq=103, maxDocs=42740)
                0.019416934 = queryNorm
              0.43865624 = fieldWeight in 2435, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.0185 = idf(docFreq=103, maxDocs=42740)
                0.0625 = fieldNorm(doc=2435)
          0.30120245 = weight(abstract_txt:ontology in 2435) [ClassicSimilarity], result of:
            0.30120245 = score(doc=2435,freq=3.0), product of:
              0.49816746 = queryWeight, product of:
                4.59359 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.019416934 = queryNorm
              0.6046209 = fieldWeight in 2435, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0625 = fieldNorm(doc=2435)
        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.13191621 = sum of:
      0.13191621 = product of:
        1.0993018 = sum of:
          0.12833388 = weight(abstract_txt:query in 793) [ClassicSimilarity], result of:
            0.12833388 = score(doc=793,freq=3.0), product of:
              0.14311722 = queryWeight, product of:
                1.5571859 = boost
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.019416934 = queryNorm
              0.89670473 = fieldWeight in 793, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.7333736 = idf(docFreq=1021, maxDocs=42740)
                0.109375 = fieldNorm(doc=793)
          0.3623202 = weight(abstract_txt:querying in 793) [ClassicSimilarity], result of:
            0.3623202 = score(doc=793,freq=1.0), product of:
              0.4719872 = queryWeight, product of:
                3.4634206 = boost
                7.0185 = idf(docFreq=103, maxDocs=42740)
                0.019416934 = queryNorm
              0.7676484 = fieldWeight in 793, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.0185 = idf(docFreq=103, maxDocs=42740)
                0.109375 = fieldNorm(doc=793)
          0.60864764 = weight(abstract_txt:ontology in 793) [ClassicSimilarity], result of:
            0.60864764 = score(doc=793,freq=4.0), product of:
              0.49816746 = queryWeight, product of:
                4.59359 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.019416934 = queryNorm
              1.2217731 = fieldWeight in 793, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.109375 = fieldNorm(doc=793)
        0.12 = coord(3/25)
    
  5. Fridman Noy, N.: Knowledge representation for intelligent information retrieval in experimental sciences (1997) 0.13
    0.13113031 = sum of:
      0.13113031 = product of:
        0.5463763 = sum of:
          0.053034462 = weight(abstract_txt:answering in 2695) [ClassicSimilarity], result of:
            0.053034462 = score(doc=2695,freq=1.0), product of:
              0.14428467 = queryWeight, product of:
                1.1055785 = boost
                6.721248 = idf(docFreq=139, maxDocs=42740)
                0.019416934 = queryNorm
              0.36756825 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.721248 = idf(docFreq=139, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2695)
          0.068849966 = weight(abstract_txt:extensions in 2695) [ClassicSimilarity], result of:
            0.068849966 = score(doc=2695,freq=1.0), product of:
              0.17170538 = queryWeight, product of:
                1.2060671 = boost
                7.332157 = idf(docFreq=75, maxDocs=42740)
                0.019416934 = queryNorm
              0.40097734 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.332157 = idf(docFreq=75, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2695)
          0.029300995 = weight(abstract_txt:present in 2695) [ClassicSimilarity], result of:
            0.029300995 = score(doc=2695,freq=1.0), product of:
              0.122399494 = queryWeight, product of:
                1.4400724 = boost
                4.377384 = idf(docFreq=1458, maxDocs=42740)
                0.019416934 = queryNorm
              0.2393882 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.377384 = idf(docFreq=1458, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2695)
          0.030949807 = weight(abstract_txt:problem in 2695) [ClassicSimilarity], result of:
            0.030949807 = score(doc=2695,freq=1.0), product of:
              0.12694922 = queryWeight, product of:
                1.4665928 = boost
                4.457998 = idf(docFreq=1345, maxDocs=42740)
                0.019416934 = queryNorm
              0.24379675 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.457998 = idf(docFreq=1345, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2695)
          0.05991723 = weight(abstract_txt:processing in 2695) [ClassicSimilarity], result of:
            0.05991723 = score(doc=2695,freq=2.0), product of:
              0.15651257 = queryWeight, product of:
                1.6284301 = boost
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.019416934 = queryNorm
              0.38282695 = fieldWeight in 2695, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2695)
          0.30432382 = weight(abstract_txt:ontology in 2695) [ClassicSimilarity], result of:
            0.30432382 = score(doc=2695,freq=4.0), product of:
              0.49816746 = queryWeight, product of:
                4.59359 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.019416934 = queryNorm
              0.6108866 = fieldWeight in 2695, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2695)
        0.24 = coord(6/25)