Title :
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
Author :
Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans
Author_Institution :
Inst. fur Informationssysteme, Technische Univ. Wien, Vienna
Abstract :
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
Keywords :
inference mechanisms; logic programming; programming language semantics; semantic Web; HEX-programs; RDF datasets; answer-set semantics; description-logic knowledge bases; dlvhex; higher-order atoms; meta-reasoning; nonmonotonic logic programs; semantic-Web reasoning; Application specific processors; Atomic layer deposition; Data mining; Engines; Libraries; Logic design; Logic programming; Ontologies; Resource description framework; Semantic Web;
Conference_Titel :
Web Intelligence, 2006. WI 2006. IEEE/WIC/ACM International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2747-7