Go to page

Bibliographic Metadata

Answer Set Programming with External Source Access
AuthorEiter, Thomas In der Gemeinsamen Normdatei der DNB nachschlagen ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius
Published in
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures : Ianni, Giovambattista; Lembo, Domenico; Bertossi, Leopoldo E.; Faber, Wolfgang; Glimm, Birte; Gottlob, Georg; Staab, Steffen, Springer, 2017, page 204-275
Accepted version
SeriesLecture Notes in Computer Science ; 10370
Document typeArticle in a collected edition
Keywords (EN)Knowledge Representation and Reasoning / Logic Programming / Answer Set Programming / External Sources
Project-/ReportnumberAustrian Science Fund (FWF): P27730
Project-/ReportnumberAustrian Science Fund (FWF): W1255-N23
URNurn:nbn:at:at-ubtuw:3-3436 Persistent Identifier (URN)
 The work is publicly available
Answer Set Programming with External Source Access [0.64 mb]
Abstract (English)

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.

The PDF-Document has been downloaded 24 times.