Rules with Contextually Scoped Negation

Presented at: 3rd European Semantic Web Conference (ESWC2006)

by Axel Polleres, Cristina Feier, Andreas Harth

Webpage: http://www.springerlink.com/content/g757238611kw5l34/?p=0545ecb4590c404eb8c66abee975c3ea

Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism. Especially negation as failure, which intuitively adopts a closed world view, is often claimed to be unsuitable for the Web where knowledge is notoriously incomplete. Nonetheless, it was suggested in the ongoing discussions around rules extensions for languages like RDF(S) or OWL to allow at least restricted forms of negation as failure, as long as negation has an explicitly defined, finite scope. Yet clear definitions of such “scoped negation” as well as formal semantics thereof are missing. We propose logic programs with contexts and scoped negation and discuss two possible semantics with desirable properties. We also argue that this class of logic programs can be viewed as a rule extension to a subset of RDF(S).

Rules with Contextually Scoped Negation was presented at this event.

Keywords: Semantic Web Rules and Logic


Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2006/paper/polleres-feier
Same as: http://www.eswc2006.org/full-papers/#polleres-feier


Explore this resource elsewhere: