Annotating answer-set programs in Lana

Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jorg Puehrer, Hans Tompits

Research output: Contribution to journalArticle

8 Citations (Scopus)
85 Downloads (Pure)

Abstract

While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology,
and applications, the present work situates itself in the context of a quite recent research trend:
development support for ASP. In particular, we propose to augment answer-set programs with additional
meta-information formulated in a dedicated annotation language, called LANA. This language
allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and
postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP
solver, as they take the form of program comments, they can be interpreted by tools for documentation,
testing, and verification purposes, as well as to eliminate sources of common programming errors by
realising syntax checking or code completion features. To demonstrate its versatility, we introduce
two such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on the
annotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks.
LANA is also exploited in the SeaLion system, an integrated development environment for ASP
based on Eclipse.
Original languageEnglish
Pages (from-to)616-637
Number of pages18
JournalTheory and Practice of Logic Programming
Volume12
Issue number4-5
DOIs
Publication statusPublished - Jul 2012

Fingerprint

Answer Sets
Answer Set Programming
HTML
Set theory
Annotation
Monitoring
Testing
Unit
Grouping
Completion
Signature
Eliminate
Programming
Demonstrate
Language

Cite this

Annotating answer-set programs in Lana. / De Vos, Marina; Kisa, Doga Gizem; Oetsch, Johannes; Puehrer, Jorg; Tompits, Hans.

In: Theory and Practice of Logic Programming, Vol. 12, No. 4-5, 07.2012, p. 616-637.

Research output: Contribution to journalArticle

De Vos, M, Kisa, DG, Oetsch, J, Puehrer, J & Tompits, H 2012, 'Annotating answer-set programs in Lana', Theory and Practice of Logic Programming, vol. 12, no. 4-5, pp. 616-637. https://doi.org/10.1017/S147106841200021X
De Vos, Marina ; Kisa, Doga Gizem ; Oetsch, Johannes ; Puehrer, Jorg ; Tompits, Hans. / Annotating answer-set programs in Lana. In: Theory and Practice of Logic Programming. 2012 ; Vol. 12, No. 4-5. pp. 616-637.
@article{9792442aa3fd44cb8dcd1f2d1ac71258,
title = "Annotating answer-set programs in Lana",
abstract = "While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology,and applications, the present work situates itself in the context of a quite recent research trend:development support for ASP. In particular, we propose to augment answer-set programs with additionalmeta-information formulated in a dedicated annotation language, called LANA. This languageallows the grouping of rules into coherent blocks and to specify language signatures, types, pre- andpostconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASPsolver, as they take the form of program comments, they can be interpreted by tools for documentation,testing, and verification purposes, as well as to eliminate sources of common programming errors byrealising syntax checking or code completion features. To demonstrate its versatility, we introducetwo such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on theannotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks.LANA is also exploited in the SeaLion system, an integrated development environment for ASPbased on Eclipse.",
author = "{De Vos}, Marina and Kisa, {Doga Gizem} and Johannes Oetsch and Jorg Puehrer and Hans Tompits",
year = "2012",
month = "7",
doi = "10.1017/S147106841200021X",
language = "English",
volume = "12",
pages = "616--637",
journal = "Theory and Practice of Logic Programming",
issn = "1471-0684",
publisher = "Cambridge University Press",
number = "4-5",

}

TY - JOUR

T1 - Annotating answer-set programs in Lana

AU - De Vos, Marina

AU - Kisa, Doga Gizem

AU - Oetsch, Johannes

AU - Puehrer, Jorg

AU - Tompits, Hans

PY - 2012/7

Y1 - 2012/7

N2 - While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology,and applications, the present work situates itself in the context of a quite recent research trend:development support for ASP. In particular, we propose to augment answer-set programs with additionalmeta-information formulated in a dedicated annotation language, called LANA. This languageallows the grouping of rules into coherent blocks and to specify language signatures, types, pre- andpostconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASPsolver, as they take the form of program comments, they can be interpreted by tools for documentation,testing, and verification purposes, as well as to eliminate sources of common programming errors byrealising syntax checking or code completion features. To demonstrate its versatility, we introducetwo such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on theannotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks.LANA is also exploited in the SeaLion system, an integrated development environment for ASPbased on Eclipse.

AB - While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology,and applications, the present work situates itself in the context of a quite recent research trend:development support for ASP. In particular, we propose to augment answer-set programs with additionalmeta-information formulated in a dedicated annotation language, called LANA. This languageallows the grouping of rules into coherent blocks and to specify language signatures, types, pre- andpostconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASPsolver, as they take the form of program comments, they can be interpreted by tools for documentation,testing, and verification purposes, as well as to eliminate sources of common programming errors byrealising syntax checking or code completion features. To demonstrate its versatility, we introducetwo such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on theannotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks.LANA is also exploited in the SeaLion system, an integrated development environment for ASPbased on Eclipse.

UR - http://www.scopus.com/inward/record.url?scp=84871980854&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1017/S147106841200021X

U2 - 10.1017/S147106841200021X

DO - 10.1017/S147106841200021X

M3 - Article

VL - 12

SP - 616

EP - 637

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 4-5

ER -