Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
Abstract
We briefly report on the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmonotonic logic programs with higher-order atoms and external atoms. Higherorder features are widely acknowledged as useful for various tasks and are essential in the context of meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as answer-set programming (ASP) is particularly important in view of applications in the Semantic-Web area. Through external atoms, HEX-programs can deal with external knowledge and reasoners of various nature, such as RDF datasets or description logics bases.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-073
@inproceedings{REWERSE-RP-2006-073, author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits}, title = {dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework}, booktitle = {Proceedings of 20th Workshop on Logic Programming, Vienna, Austria (22nd--24th February 2006)}, year = {2006}, volume = {1843-06-02}, series = {INFSYS Research Report}, pages = {206--210}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-073} }