Document (#40939)

Author
Eiter, T.
Kaminski, T.
Redl, C.
Schüller, P.
Weinzierl, A.
Title
Answer set programming with external source access
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.204-265
Series
Lecture Notes in Computer Scienc;10370) (Information Systems and Applications, incl. Internet/Web, and HCI
Abstract
Access to external information is an important need for Answer Set Programming (ASP), which is a booming declarative problem solving approach these days. External access not only includes data in different formats, but more general also the results of computations, and possibly in a two-way information exchange. Providing such access is a major challenge, and in particular if it should be supported at a generic level, both regarding the semantics and efficient computation. In this article, we consider problem solving with ASP under external information access using the dlvhex system. The latter facilitates this access through special external atoms, which are two-way API style interfaces between the rules of the program and an external source. The dlvhex system has a flexible plugin architecture that allows one to use multiple predefined and user-defined external atoms which can be implemented, e.g., in Python or C++. We consider how to solve problems using the ASP paradigm, and specifically discuss how to use external atoms in this context, illustrated by examples. As a showcase, we demonstrate the development of a hex program for a concrete real-world problem using Semantic Web technologies, and discuss specifics of the implementation process.
Theme
Semantic Web

Similar documents (author)

  1. Schüller-Zwierlein, A.: ¬Die Fragilität des Zugangs : eine Kritik der Informationsgesellschaft (2021) 4.88
    4.8777785 = sum of:
      4.8777785 = weight(author_txt:schüller in 716) [ClassicSimilarity], result of:
        4.8777785 = fieldWeight in 716, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.755557 = idf(docFreq=6, maxDocs=44421)
          0.5 = fieldNorm(doc=716)
    
  2. Franke, F.; Schüller-Zwierlein, A.: ¬Das Informations- und Schulungsangebot der bayerischen Hochschulbibliotheken aus Sicht der Studierenden : Ergebnisse einer Umfrage der AG Informationskompetenz im Bibliotheksverbund Bayern (2008) 4.27
    4.2680564 = sum of:
      4.2680564 = weight(author_txt:schüller in 2422) [ClassicSimilarity], result of:
        4.2680564 = fieldWeight in 2422, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.755557 = idf(docFreq=6, maxDocs=44421)
          0.4375 = fieldNorm(doc=2422)
    
  3. Franke, F.; Schüller-Zwierlein, A.: Stärkere Integration in Studiengänge notwendig : Ergebnisse der ersten gemeinsamen Statistik zur Vermittlung von informationskompetenz an Hochschulbibliotheken in Bayern (2008) 4.27
    4.2680564 = sum of:
      4.2680564 = weight(author_txt:schüller in 2975) [ClassicSimilarity], result of:
        4.2680564 = fieldWeight in 2975, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.755557 = idf(docFreq=6, maxDocs=44421)
          0.4375 = fieldNorm(doc=2975)
    
  4. Franke, F.; Pfister, S.; Schüller-Zwierlein, A.: "Hätten wir personelle Valenzen, würden wir uns um stärkere Nutzung bemühen." : Eine Umfrage zur Vermittlung von lnformationskompetenz an Schüler an den bayerischen wissenschaftlichen Bibliotheken (2007) 3.66
    3.6583338 = sum of:
      3.6583338 = weight(author_txt:schüller in 1763) [ClassicSimilarity], result of:
        3.6583338 = fieldWeight in 1763, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.755557 = idf(docFreq=6, maxDocs=44421)
          0.375 = fieldNorm(doc=1763)
    
  5. Franke, F; Klein, A.; Schüller-Zwierlein, A.: Schlüsselkompetenzen : Literatur recherchieren in Bibliotheken und Internet (2010) 3.66
    3.6583338 = sum of:
      3.6583338 = weight(author_txt:schüller in 721) [ClassicSimilarity], result of:
        3.6583338 = fieldWeight in 721, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.755557 = idf(docFreq=6, maxDocs=44421)
          0.375 = fieldNorm(doc=721)
    

Similar documents (content)

  1. Gayo, J.E.L.; Farham, H.; Fernández, J.C.; Rodríguez , J.M.A.: Representing statistical indexes as linked data including metadata about their computation process (2014) 0.12
    0.11968897 = sum of:
      0.11968897 = product of:
        0.49870408 = sum of:
          0.055195108 = weight(abstract_txt:computation in 2570) [ClassicSimilarity], result of:
            0.055195108 = score(doc=2570,freq=1.0), product of:
              0.11450549 = queryWeight, product of:
                1.0628089 = boost
                7.7124834 = idf(docFreq=53, maxDocs=44421)
                0.013969373 = queryNorm
              0.4820302 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.7124834 = idf(docFreq=53, maxDocs=44421)
                0.0625 = fieldNorm(doc=2570)
          0.01996634 = weight(abstract_txt:which in 2570) [ClassicSimilarity], result of:
            0.01996634 = score(doc=2570,freq=5.0), product of:
              0.049031515 = queryWeight, product of:
                1.2045928 = boost
                2.9137893 = idf(docFreq=6552, maxDocs=44421)
                0.013969373 = queryNorm
              0.40721443 = fieldWeight in 2570, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                2.9137893 = idf(docFreq=6552, maxDocs=44421)
                0.0625 = fieldNorm(doc=2570)
          0.123767644 = weight(abstract_txt:computations in 2570) [ClassicSimilarity], result of:
            0.123767644 = score(doc=2570,freq=2.0), product of:
              0.15569955 = queryWeight, product of:
                1.2393264 = boost
                8.993418 = idf(docFreq=14, maxDocs=44421)
                0.013969373 = queryNorm
              0.7949133 = fieldWeight in 2570, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.993418 = idf(docFreq=14, maxDocs=44421)
                0.0625 = fieldNorm(doc=2570)
          0.045039587 = weight(abstract_txt:source in 2570) [ClassicSimilarity], result of:
            0.045039587 = score(doc=2570,freq=2.0), product of:
              0.099989764 = queryWeight, product of:
                1.4045421 = boost
                5.0961695 = idf(docFreq=738, maxDocs=44421)
                0.013969373 = queryNorm
              0.450442 = fieldWeight in 2570, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.0961695 = idf(docFreq=738, maxDocs=44421)
                0.0625 = fieldNorm(doc=2570)
          0.035134543 = weight(abstract_txt:access in 2570) [ClassicSimilarity], result of:
            0.035134543 = score(doc=2570,freq=1.0), product of:
              0.15396874 = queryWeight, product of:
                3.018797 = boost
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.013969373 = queryNorm
              0.2281927 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.0625 = fieldNorm(doc=2570)
          0.21960081 = weight(abstract_txt:external in 2570) [ClassicSimilarity], result of:
            0.21960081 = score(doc=2570,freq=1.0), product of:
              0.5750142 = queryWeight, product of:
                6.7363753 = boost
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.013969373 = queryNorm
              0.38190505 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.0625 = fieldNorm(doc=2570)
        0.24 = coord(6/25)
    
  2. Cavallaro, U.: HIFI: hypertext interface for information : multimedia and relational databases (1993) 0.11
    0.10647817 = sum of:
      0.10647817 = product of:
        0.53239083 = sum of:
          0.010836746 = weight(abstract_txt:information in 4571) [ClassicSimilarity], result of:
            0.010836746 = score(doc=4571,freq=2.0), product of:
              0.03379051 = queryWeight, product of:
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.013969373 = queryNorm
              0.3207038 = fieldWeight in 4571, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.09375 = fieldNorm(doc=4571)
          0.1170855 = weight(abstract_txt:declarative in 4571) [ClassicSimilarity], result of:
            0.1170855 = score(doc=4571,freq=1.0), product of:
              0.14426705 = queryWeight, product of:
                1.1929592 = boost
                8.656945 = idf(docFreq=20, maxDocs=44421)
                0.013969373 = queryNorm
              0.81158864 = fieldWeight in 4571, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.656945 = idf(docFreq=20, maxDocs=44421)
                0.09375 = fieldNorm(doc=4571)
          0.02236556 = weight(abstract_txt:using in 4571) [ClassicSimilarity], result of:
            0.02236556 = score(doc=4571,freq=1.0), product of:
              0.06901212 = queryWeight, product of:
                1.4291089 = boost
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.013969373 = queryNorm
              0.32408163 = fieldWeight in 4571, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.09375 = fieldNorm(doc=4571)
          0.052701816 = weight(abstract_txt:access in 4571) [ClassicSimilarity], result of:
            0.052701816 = score(doc=4571,freq=1.0), product of:
              0.15396874 = queryWeight, product of:
                3.018797 = boost
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.013969373 = queryNorm
              0.34228906 = fieldWeight in 4571, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.09375 = fieldNorm(doc=4571)
          0.32940122 = weight(abstract_txt:external in 4571) [ClassicSimilarity], result of:
            0.32940122 = score(doc=4571,freq=1.0), product of:
              0.5750142 = queryWeight, product of:
                6.7363753 = boost
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.013969373 = queryNorm
              0.57285756 = fieldWeight in 4571, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.09375 = fieldNorm(doc=4571)
        0.2 = coord(5/25)
    
  3. Binding, C.; Tudhope, D.: Terminology Web services (2010) 0.10
    0.10495335 = sum of:
      0.10495335 = product of:
        0.52476674 = sum of:
          0.0063856132 = weight(abstract_txt:information in 67) [ClassicSimilarity], result of:
            0.0063856132 = score(doc=67,freq=1.0), product of:
              0.03379051 = queryWeight, product of:
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.013969373 = queryNorm
              0.18897653 = fieldWeight in 67, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.078125 = fieldNorm(doc=67)
          0.064653985 = weight(abstract_txt:discuss in 67) [ClassicSimilarity], result of:
            0.064653985 = score(doc=67,freq=2.0), product of:
              0.109651886 = queryWeight, product of:
                1.4708387 = boost
                5.3367167 = idf(docFreq=580, maxDocs=44421)
                0.013969373 = queryNorm
              0.5896295 = fieldWeight in 67, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.3367167 = idf(docFreq=580, maxDocs=44421)
                0.078125 = fieldNorm(doc=67)
          0.13530792 = weight(abstract_txt:programming in 67) [ClassicSimilarity], result of:
            0.13530792 = score(doc=67,freq=2.0), product of:
              0.17940508 = queryWeight, product of:
                1.8813707 = boost
                6.82627 = idf(docFreq=130, maxDocs=44421)
                0.013969373 = queryNorm
              0.75420344 = fieldWeight in 67, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.82627 = idf(docFreq=130, maxDocs=44421)
                0.078125 = fieldNorm(doc=67)
          0.043918177 = weight(abstract_txt:access in 67) [ClassicSimilarity], result of:
            0.043918177 = score(doc=67,freq=1.0), product of:
              0.15396874 = queryWeight, product of:
                3.018797 = boost
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.013969373 = queryNorm
              0.2852409 = fieldWeight in 67, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.078125 = fieldNorm(doc=67)
          0.27450103 = weight(abstract_txt:external in 67) [ClassicSimilarity], result of:
            0.27450103 = score(doc=67,freq=1.0), product of:
              0.5750142 = queryWeight, product of:
                6.7363753 = boost
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.013969373 = queryNorm
              0.47738132 = fieldWeight in 67, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.078125 = fieldNorm(doc=67)
        0.2 = coord(5/25)
    
  4. Lewis, K.M.; DeGroote, S.L.: Digital reference access points : an analysis of usage (2008) 0.10
    0.10247638 = sum of:
      0.10247638 = product of:
        0.5123819 = sum of:
          0.0051084906 = weight(abstract_txt:information in 1551) [ClassicSimilarity], result of:
            0.0051084906 = score(doc=1551,freq=1.0), product of:
              0.03379051 = queryWeight, product of:
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.013969373 = queryNorm
              0.15118122 = fieldWeight in 1551, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.0625 = fieldNorm(doc=1551)
          0.012627822 = weight(abstract_txt:which in 1551) [ClassicSimilarity], result of:
            0.012627822 = score(doc=1551,freq=2.0), product of:
              0.049031515 = queryWeight, product of:
                1.2045928 = boost
                2.9137893 = idf(docFreq=6552, maxDocs=44421)
                0.013969373 = queryNorm
              0.25754502 = fieldWeight in 1551, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.9137893 = idf(docFreq=6552, maxDocs=44421)
                0.0625 = fieldNorm(doc=1551)
          0.014910374 = weight(abstract_txt:using in 1551) [ClassicSimilarity], result of:
            0.014910374 = score(doc=1551,freq=1.0), product of:
              0.06901212 = queryWeight, product of:
                1.4291089 = boost
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.013969373 = queryNorm
              0.21605442 = fieldWeight in 1551, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.0625 = fieldNorm(doc=1551)
          0.09937549 = weight(abstract_txt:access in 1551) [ClassicSimilarity], result of:
            0.09937549 = score(doc=1551,freq=8.0), product of:
              0.15396874 = queryWeight, product of:
                3.018797 = boost
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.013969373 = queryNorm
              0.6454264 = fieldWeight in 1551, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                3.6510832 = idf(docFreq=3134, maxDocs=44421)
                0.0625 = fieldNorm(doc=1551)
          0.38035977 = weight(abstract_txt:external in 1551) [ClassicSimilarity], result of:
            0.38035977 = score(doc=1551,freq=3.0), product of:
              0.5750142 = queryWeight, product of:
                6.7363753 = boost
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.013969373 = queryNorm
              0.66147894 = fieldWeight in 1551, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.0625 = fieldNorm(doc=1551)
        0.2 = coord(5/25)
    
  5. Ju, B.: Does domain knowledge matter : mapping users' expertise to their information interactions (2007) 0.09
    0.09027505 = sum of:
      0.09027505 = product of:
        0.45137525 = sum of:
          0.010216981 = weight(abstract_txt:information in 1618) [ClassicSimilarity], result of:
            0.010216981 = score(doc=1618,freq=4.0), product of:
              0.03379051 = queryWeight, product of:
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.013969373 = queryNorm
              0.30236244 = fieldWeight in 1618, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.4188995 = idf(docFreq=10748, maxDocs=44421)
                0.0625 = fieldNorm(doc=1618)
          0.049709868 = weight(abstract_txt:answer in 1618) [ClassicSimilarity], result of:
            0.049709868 = score(doc=1618,freq=1.0), product of:
              0.134544 = queryWeight, product of:
                1.6292554 = boost
                5.9115076 = idf(docFreq=326, maxDocs=44421)
                0.013969373 = queryNorm
              0.36946923 = fieldWeight in 1618, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9115076 = idf(docFreq=326, maxDocs=44421)
                0.0625 = fieldNorm(doc=1618)
          0.116407365 = weight(abstract_txt:solving in 1618) [ClassicSimilarity], result of:
            0.116407365 = score(doc=1618,freq=3.0), product of:
              0.16450629 = queryWeight, product of:
                1.801558 = boost
                6.5366817 = idf(docFreq=174, maxDocs=44421)
                0.013969373 = queryNorm
              0.7076165 = fieldWeight in 1618, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.5366817 = idf(docFreq=174, maxDocs=44421)
                0.0625 = fieldNorm(doc=1618)
          0.055440195 = weight(abstract_txt:problem in 1618) [ClassicSimilarity], result of:
            0.055440195 = score(doc=1618,freq=3.0), product of:
              0.11484421 = queryWeight, product of:
                1.8435596 = boost
                4.4593854 = idf(docFreq=1396, maxDocs=44421)
                0.013969373 = queryNorm
              0.4827426 = fieldWeight in 1618, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.4593854 = idf(docFreq=1396, maxDocs=44421)
                0.0625 = fieldNorm(doc=1618)
          0.21960081 = weight(abstract_txt:external in 1618) [ClassicSimilarity], result of:
            0.21960081 = score(doc=1618,freq=1.0), product of:
              0.5750142 = queryWeight, product of:
                6.7363753 = boost
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.013969373 = queryNorm
              0.38190505 = fieldWeight in 1618, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.110481 = idf(docFreq=267, maxDocs=44421)
                0.0625 = fieldNorm(doc=1618)
        0.2 = coord(5/25)