dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics

Fifth Meeting of IUFRO Working Party 7.03.04 – Diseases and insects in forest nurseries

Thomas Eiter ; Giovambattista Ianni ; Roman Schindlauer ; Hans Tompits

Others  :  http://CEUR-WS.org/Vol-196/alpsws2006-paper3.pdf
PID  :  449

来源: CEUR

【 摘 要 】

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.