Reasoning about the Semantic Web using Answer Set Programming.

Giovambattista Ianni Francesco Calimeri Vincenzino Lio Stefania Galizia

Published in: APPIA-GULP-PRODE (2003)

Keyphrases

answer set programming
logic programs
knowledge representation
logic programming
semantic web
answer sets
reasoning tasks

causal theories
stable model semantics
constraint logic programming
answer set programs
knowledge base
metadata
linked data

formal theory
description logics
stable models
answer set semantics
update semantics
haplotype inference

deductive databases
storage and retrieval
rdf data
ontology languages
np hard
artificial intelligence