DLV

Association:

Department of Mathematics of the University of Calabria, Italy

Description:

Uses the DLV system in a pre-release version.

DLV is a system for computing answer sets for disjunctive datalog, with support for several additional features, such as weak constraints, aggregates, database connectivity, various front-ends for diagnosis, planning and sql, brave and cautious query answering and more. The basic architecture comprises an integrated grounder, a model generator and a (stability) checker. Magic set rewriting can be applied for query answering. The system has been developed mainly at the Vienna University of Technology, Austria, and the University of Calabria, Italy, since 1996.

Participants:

• Mario Alviano
• Annamaria Bria
• Francesco Calimeri
• Mina Catalano
• Wolfgang Faber
• Giovambattista Ianni
• Nicola Leone
• Marco Manna
• Marco Maratea
• Claudio Panetta
• Francesco Ricca
• Giorgio Terracina

System settings:

Benchmarks were solved using DLV with the default parameter settings, -n=1 (for printing only one model) and appropriate -pfilter for printing only output predicates. Where the specification identifies a query, we modeled it, and used -FB for brave reasoning. The optimisation problems were modeled using weak constraints and option -wctrace for printing also sub-optimal answer sets.