Abstract
We briefly report about the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmonotonic logic programs featuring both higher-order atoms as well as external ones. Higher-order 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-logic bases.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-118

BibTeX:

@inproceedings{REWERSE-RP-2006-118,
	author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits},
	title = {dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set},
	booktitle = {Proceedings of International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, Seattle, WA, USA (16th August 2006)},
	year = {2006},
	volume = {196},
	pages = {33--39},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-118}
}