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

fYear

2006

fDate

18-22 Dec. 2006

Firstpage

1073

Lastpage

1074

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Intelligence, 2006. WI 2006. IEEE/WIC/ACM International Conference on

Conference_Location

Hong Kong

Print_ISBN

0-7695-2747-7

Type

conf

DOI

10.1109/WI.2006.64

Filename

4061524