Web Intelligence, IEEE / WIC / ACM International Conference on (2006)
Hong Kong, China
Dec. 18, 2006 to Dec. 22, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WI.2006.64
Thomas Eiter , Technische Universitat Wien, Austria
Giovambattista Ianni , Technische Universitat Wien, Austria
Roman Schindlauer , Technische Universitat Wien, Austria
Hans Tompits , Technische Universitat Wien, Austria
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.
H. Tompits, T. Eiter, R. Schindlauer and G. Ianni, "dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics," 2006 IEEE/WIC/ACM International Conference on Web Intelligence(WI), Hong Kong, 2006, pp. 1073-1074.