Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
DLV-HEX: Dealing with Semantic Web under Answer-Set Programming.
Abstract
We present an implementation of HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms. Higher-order features are widely acknowledged as useful for various tasks, including meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as answer-set programming (ASP) is nowadays important, in particular 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-logic knowledge bases.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-111
@inproceedings{REWERSE-RP-2005-111, author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits}, title = {DLV-HEX: Dealing with Semantic Web under Answer-Set Programming}, booktitle = {Proceedings of 4th International Semantic Web Conference, Galway, Ireland (6th--10th November 2005)}, year = {2005}, organization = {Digital Enterprise Research Institute}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-111} }