The Community for Technology Leaders
Web Intelligence, IEEE / WIC / ACM International Conference on (2006)
Hong Kong, China
Dec. 18, 2006 to Dec. 22, 2006
ISBN: 0-7695-2747-7
pp: 1073-1074
Hans Tompits , Technische Universitat Wien, Austria
Thomas Eiter , Technische Universitat Wien, Austria
Roman Schindlauer , Technische Universitat Wien, Austria
Giovambattista Ianni , 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.
Hans Tompits, Thomas Eiter, Roman Schindlauer, Giovambattista Ianni, "dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics", Web Intelligence, IEEE / WIC / ACM International Conference on, vol. 00, no. , pp. 1073-1074, 2006, doi:10.1109/WI.2006.64
89 ms
(Ver 3.3 (11022016))