dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
复制标题
dlvhex：答案集语义下的语义网推理证明器
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
H. Tompits
中科院分区：
文献类型：
--
作者：
Thomas Eiter;Giovambattista Ianni;Roman Schindlauer;H. Tompits
我们提出了 dlvhex 系统，它是十六进制程序的求解器，十六进制程序是非单调逻辑程序，允许高阶原子和外部原子。高阶特征被广泛认为对各种任务有用，包括元推理。此外，以完全声明性范例（例如答案集编程（ASP））与外部源交换知识的可能性变得越来越重要，特别是考虑到语义Web领域的应用。通过外部原子，HEX 程序可以处理各种性质的外部知识和推理器，例如 RDF 数据集或描述逻辑知识库
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