The final publication is available via <a href="https://doi.org/10.1007/978-3-319-61033-7_7" target="_blank">https://doi.org/10.1007/978-3-319-61033-7_7</a>.
-
dc.description.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.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Knowledge Representation and Reasoning
en
dc.subject
Logic Programming
en
dc.subject
Answer Set Programming
en
dc.subject
External Sources
en
dc.title
Answer Set Programming with External Source Access
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.relation.publication
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
-
dc.contributor.affiliation
Marmara University, Turkey
-
dc.relation.grantno
P27730
-
dc.relation.grantno
W1255-N23
-
dc.rights.holder
Springer International Publishing AG 2017
-
dc.type.category
Full-Paper Contribution
-
tuw.container.volume
10370
-
tuw.version
am
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1007/978-3-319-61033-7_7
-
dc.identifier.libraryid
AC15058949
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-3436
-
tuw.author.orcid
0000-0001-6003-6345
-
tuw.author.orcid
0000-0001-9776-0417
-
tuw.author.orcid
0000-0002-1837-126X
-
tuw.author.orcid
0000-0003-2040-6123
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.openaccessfulltext
Open Access
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems