Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.
Abstract
We present the system dlvhex, a solver for HEX-programs, which
are nonmonotonic logic programs admitting both higher-order atoms as well
as external atoms. Higher-order features are widely acknowledged as being
useful for various tasks, including meta-reasoning. Furthermore, the
possibility to exchange knowledge with external sources in a fully
declarative paradigm such as answer-set programming (ASP) becomes
increasingly 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-logics knowledge bases.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-127
@inproceedings{REWERSE-RP-2006-127, author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits}, title = {dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics}, booktitle = {Proceedings of The 2006 IEEE/WIC/ACM International Conference on Web Intelligence, Hong Kong (18th--22nd December 2006)}, year = {2006}, pages = {1073--1074}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-127} }