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.8754888 = sum of:
  4.8754888 = weight(author_txt:schüller in 5716) [ClassicSimilarity], result of:
    4.8754888 = fieldWeight in 5716, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.7509775 = idf(docFreq=6, maxDocs=44218)
      0.5 = fieldNorm(doc=5716)
  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.2660527 = sum of:
  4.2660527 = weight(author_txt:schüller in 1422) [ClassicSimilarity], result of:
    4.2660527 = fieldWeight in 1422, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.7509775 = idf(docFreq=6, maxDocs=44218)
      0.4375 = fieldNorm(doc=1422)
  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.2660527 = sum of:
  4.2660527 = weight(author_txt:schüller in 1975) [ClassicSimilarity], result of:
    4.2660527 = fieldWeight in 1975, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.7509775 = idf(docFreq=6, maxDocs=44218)
      0.4375 = fieldNorm(doc=1975)
  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.6566167 = sum of:
  3.6566167 = weight(author_txt:schüller in 763) [ClassicSimilarity], result of:
    3.6566167 = fieldWeight in 763, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.7509775 = idf(docFreq=6, maxDocs=44218)
      0.375 = fieldNorm(doc=763)
  5. Franke, F; Klein, A.; Schüller-Zwierlein, A.: Schlüsselkompetenzen : Literatur recherchieren in Bibliotheken und Internet (2010) 3.66 
    3.6566167 = sum of:
  3.6566167 = weight(author_txt:schüller in 4721) [ClassicSimilarity], result of:
    3.6566167 = fieldWeight in 4721, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.7509775 = idf(docFreq=6, maxDocs=44218)
      0.375 = fieldNorm(doc=4721)

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.119507775 = sum of:
  0.119507775 = product of:
    0.49794906 = sum of:
      0.054993726 = weight(abstract_txt:computation in 1570) [ClassicSimilarity], result of:
        0.054993726 = score(doc=1570,freq=1.0), product of:
          0.11415551 = queryWeight, product of:
            1.0612797 = boost
            7.7079034 = idf(docFreq=53, maxDocs=44218)
            0.013955031 = queryNorm
          0.48174396 = fieldWeight in 1570, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.7079034 = idf(docFreq=53, maxDocs=44218)
            0.0625 = fieldNorm(doc=1570)
      0.019989064 = weight(abstract_txt:which in 1570) [ClassicSimilarity], result of:
        0.019989064 = score(doc=1570,freq=5.0), product of:
          0.049038086 = queryWeight, product of:
            1.2047828 = boost
            2.9167147 = idf(docFreq=6503, maxDocs=44218)
            0.013955031 = queryNorm
          0.40762326 = fieldWeight in 1570, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            2.9167147 = idf(docFreq=6503, maxDocs=44218)
            0.0625 = fieldNorm(doc=1570)
      0.123347364 = weight(abstract_txt:computations in 1570) [ClassicSimilarity], result of:
        0.123347364 = score(doc=1570,freq=2.0), product of:
          0.15524991 = queryWeight, product of:
            1.2376478 = boost
            8.988837 = idf(docFreq=14, maxDocs=44218)
            0.013955031 = queryNorm
          0.79450846 = fieldWeight in 1570, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.988837 = idf(docFreq=14, maxDocs=44218)
            0.0625 = fieldNorm(doc=1570)
      0.0450499 = weight(abstract_txt:source in 1570) [ClassicSimilarity], result of:
        0.0450499 = score(doc=1570,freq=2.0), product of:
          0.0999426 = queryWeight, product of:
            1.4043382 = boost
            5.0997415 = idf(docFreq=732, maxDocs=44218)
            0.013955031 = queryNorm
          0.4507577 = fieldWeight in 1570, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.0997415 = idf(docFreq=732, maxDocs=44218)
            0.0625 = fieldNorm(doc=1570)
      0.035065778 = weight(abstract_txt:access in 1570) [ClassicSimilarity], result of:
        0.035065778 = score(doc=1570,freq=1.0), product of:
          0.1536718 = queryWeight, product of:
            3.016158 = boost
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.013955031 = queryNorm
          0.22818616 = fieldWeight in 1570, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.0625 = fieldNorm(doc=1570)
      0.21950321 = weight(abstract_txt:external in 1570) [ClassicSimilarity], result of:
        0.21950321 = score(doc=1570,freq=1.0), product of:
          0.574485 = queryWeight, product of:
            6.7338853 = boost
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.013955031 = queryNorm
          0.38208693 = fieldWeight in 1570, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.0625 = fieldNorm(doc=1570)
    0.24 = coord(6/25)
  2. Cavallaro, U.: HIFI: hypertext interface for information : multimedia and relational databases (1993) 0.11 
    0.10676169 = sum of:
  0.10676169 = product of:
    0.5338084 = sum of:
      0.010843948 = weight(abstract_txt:information in 4572) [ClassicSimilarity], result of:
        0.010843948 = score(doc=4572,freq=2.0), product of:
          0.033784382 = queryWeight, product of:
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.013955031 = queryNorm
          0.32097518 = fieldWeight in 4572, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.09375 = fieldNorm(doc=4572)
      0.118666 = weight(abstract_txt:declarative in 4572) [ClassicSimilarity], result of:
        0.118666 = score(doc=4572,freq=1.0), product of:
          0.14547157 = queryWeight, product of:
            1.1980376 = boost
            8.701155 = idf(docFreq=19, maxDocs=44218)
            0.013955031 = queryNorm
          0.81573325 = fieldWeight in 4572, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.701155 = idf(docFreq=19, maxDocs=44218)
            0.09375 = fieldNorm(doc=4572)
      0.022444967 = weight(abstract_txt:using in 4572) [ClassicSimilarity], result of:
        0.022444967 = score(doc=4572,freq=1.0), product of:
          0.069132194 = queryWeight, product of:
            1.4304813 = boost
            3.4631186 = idf(docFreq=3765, maxDocs=44218)
            0.013955031 = queryNorm
          0.32466736 = fieldWeight in 4572, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4631186 = idf(docFreq=3765, maxDocs=44218)
            0.09375 = fieldNorm(doc=4572)
      0.05259867 = weight(abstract_txt:access in 4572) [ClassicSimilarity], result of:
        0.05259867 = score(doc=4572,freq=1.0), product of:
          0.1536718 = queryWeight, product of:
            3.016158 = boost
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.013955031 = queryNorm
          0.34227926 = fieldWeight in 4572, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.09375 = fieldNorm(doc=4572)
      0.3292548 = weight(abstract_txt:external in 4572) [ClassicSimilarity], result of:
        0.3292548 = score(doc=4572,freq=1.0), product of:
          0.574485 = queryWeight, product of:
            6.7338853 = boost
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.013955031 = queryNorm
          0.57313037 = fieldWeight in 4572, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.09375 = fieldNorm(doc=4572)
    0.2 = coord(5/25)
  3. Binding, C.; Tudhope, D.: Terminology Web services (2010) 0.10 
    0.104929164 = sum of:
  0.104929164 = product of:
    0.5246458 = sum of:
      0.0063898573 = weight(abstract_txt:information in 4067) [ClassicSimilarity], result of:
        0.0063898573 = score(doc=4067,freq=1.0), product of:
          0.033784382 = queryWeight, product of:
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.013955031 = queryNorm
          0.18913643 = fieldWeight in 4067, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.078125 = fieldNorm(doc=4067)
      0.064806946 = weight(abstract_txt:discuss in 4067) [ClassicSimilarity], result of:
        0.064806946 = score(doc=4067,freq=2.0), product of:
          0.109756224 = queryWeight, product of:
            1.4716718 = boost
            5.344258 = idf(docFreq=573, maxDocs=44218)
            0.013955031 = queryNorm
          0.5904626 = fieldWeight in 4067, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.344258 = idf(docFreq=573, maxDocs=44218)
            0.078125 = fieldNorm(doc=4067)
      0.13523778 = weight(abstract_txt:programming in 4067) [ClassicSimilarity], result of:
        0.13523778 = score(doc=4067,freq=2.0), product of:
          0.17923114 = queryWeight, product of:
            1.880629 = boost
            6.829353 = idf(docFreq=129, maxDocs=44218)
            0.013955031 = queryNorm
          0.754544 = fieldWeight in 4067, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.829353 = idf(docFreq=129, maxDocs=44218)
            0.078125 = fieldNorm(doc=4067)
      0.04383222 = weight(abstract_txt:access in 4067) [ClassicSimilarity], result of:
        0.04383222 = score(doc=4067,freq=1.0), product of:
          0.1536718 = queryWeight, product of:
            3.016158 = boost
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.013955031 = queryNorm
          0.2852327 = fieldWeight in 4067, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.078125 = fieldNorm(doc=4067)
      0.27437901 = weight(abstract_txt:external in 4067) [ClassicSimilarity], result of:
        0.27437901 = score(doc=4067,freq=1.0), product of:
          0.574485 = queryWeight, product of:
            6.7338853 = boost
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.013955031 = queryNorm
          0.47760868 = fieldWeight in 4067, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.078125 = fieldNorm(doc=4067)
    0.2 = coord(5/25)
  4. Lewis, K.M.; DeGroote, S.L.: Digital reference access points : an analysis of usage (2008) 0.10 
    0.10241782 = sum of:
  0.10241782 = product of:
    0.5120891 = sum of:
      0.005111886 = weight(abstract_txt:information in 551) [ClassicSimilarity], result of:
        0.005111886 = score(doc=551,freq=1.0), product of:
          0.033784382 = queryWeight, product of:
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.013955031 = queryNorm
          0.15130915 = fieldWeight in 551, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.0625 = fieldNorm(doc=551)
      0.0126421945 = weight(abstract_txt:which in 551) [ClassicSimilarity], result of:
        0.0126421945 = score(doc=551,freq=2.0), product of:
          0.049038086 = queryWeight, product of:
            1.2047828 = boost
            2.9167147 = idf(docFreq=6503, maxDocs=44218)
            0.013955031 = queryNorm
          0.2578036 = fieldWeight in 551, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            2.9167147 = idf(docFreq=6503, maxDocs=44218)
            0.0625 = fieldNorm(doc=551)
      0.014963311 = weight(abstract_txt:using in 551) [ClassicSimilarity], result of:
        0.014963311 = score(doc=551,freq=1.0), product of:
          0.069132194 = queryWeight, product of:
            1.4304813 = boost
            3.4631186 = idf(docFreq=3765, maxDocs=44218)
            0.013955031 = queryNorm
          0.21644491 = fieldWeight in 551, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4631186 = idf(docFreq=3765, maxDocs=44218)
            0.0625 = fieldNorm(doc=551)
      0.099181 = weight(abstract_txt:access in 551) [ClassicSimilarity], result of:
        0.099181 = score(doc=551,freq=8.0), product of:
          0.1536718 = queryWeight, product of:
            3.016158 = boost
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.013955031 = queryNorm
          0.6454079 = fieldWeight in 551, product of:
            2.828427 = tf(freq=8.0), with freq of:
              8.0 = termFreq=8.0
            3.6509786 = idf(docFreq=3120, maxDocs=44218)
            0.0625 = fieldNorm(doc=551)
      0.3801907 = weight(abstract_txt:external in 551) [ClassicSimilarity], result of:
        0.3801907 = score(doc=551,freq=3.0), product of:
          0.574485 = queryWeight, product of:
            6.7338853 = boost
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.013955031 = queryNorm
          0.66179395 = fieldWeight in 551, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.0625 = fieldNorm(doc=551)
    0.2 = coord(5/25)
  5. Ju, B.: Does domain knowledge matter : mapping users' expertise to their information interactions (2007) 0.09 
    0.09027981 = sum of:
  0.09027981 = product of:
    0.45139903 = sum of:
      0.010223772 = weight(abstract_txt:information in 618) [ClassicSimilarity], result of:
        0.010223772 = score(doc=618,freq=4.0), product of:
          0.033784382 = queryWeight, product of:
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.013955031 = queryNorm
          0.3026183 = fieldWeight in 618, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            2.4209464 = idf(docFreq=10677, maxDocs=44218)
            0.0625 = fieldNorm(doc=618)
      0.04973368 = weight(abstract_txt:answer in 618) [ClassicSimilarity], result of:
        0.04973368 = score(doc=618,freq=1.0), product of:
          0.13450296 = queryWeight, product of:
            1.6291546 = boost
            5.916144 = idf(docFreq=323, maxDocs=44218)
            0.013955031 = queryNorm
          0.369759 = fieldWeight in 618, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.916144 = idf(docFreq=323, maxDocs=44218)
            0.0625 = fieldNorm(doc=618)
      0.11655862 = weight(abstract_txt:solving in 618) [ClassicSimilarity], result of:
        0.11655862 = score(doc=618,freq=3.0), product of:
          0.16454598 = queryWeight, product of:
            1.8019388 = boost
            6.543596 = idf(docFreq=172, maxDocs=44218)
            0.013955031 = queryNorm
          0.708365 = fieldWeight in 618, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.543596 = idf(docFreq=172, maxDocs=44218)
            0.0625 = fieldNorm(doc=618)
      0.055379737 = weight(abstract_txt:problem in 618) [ClassicSimilarity], result of:
        0.055379737 = score(doc=618,freq=3.0), product of:
          0.114689074 = queryWeight, product of:
            1.842481 = boost
            4.460548 = idf(docFreq=1388, maxDocs=44218)
            0.013955031 = queryNorm
          0.48286846 = fieldWeight in 618, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.460548 = idf(docFreq=1388, maxDocs=44218)
            0.0625 = fieldNorm(doc=618)
      0.21950321 = weight(abstract_txt:external in 618) [ClassicSimilarity], result of:
        0.21950321 = score(doc=618,freq=1.0), product of:
          0.574485 = queryWeight, product of:
            6.7338853 = boost
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.013955031 = queryNorm
          0.38208693 = fieldWeight in 618, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.113391 = idf(docFreq=265, maxDocs=44218)
            0.0625 = fieldNorm(doc=618)
    0.2 = coord(5/25)