Supporting Open and Closed World Reasoning on the Web

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

23 Citations (Scopus)


In this paper general mechanisms and syntactic restrictions are explored in order to specify and merge rule bases in the Semantic Web. Rule bases are expressed by extended logic programs having two forms of negation, namely strong (or explicit) and weak (also known as default negation or negation-as-failure). The proposed mechanisms are defined by very simple modular program transformations, and integrate both open and closed world reasoning. These program transformations are shown to be appropriate for the two major semantics for extended logic programs: answer set semantics and well-founded semantics with explicit negation. Moreover, the results obtained by both semantics are compared.

Original languageEnglish
Title of host publicationPrinciples and Practice of Semantic Web Reasoning
Subtitle of host publication4th International Workshop, PPSWR 2006, Revised Selected Papers
EditorsJóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages15
Volume4187 LNCS
ISBN (Electronic)9783540395874
ISBN (Print)3540395865, 9783540395867
Publication statusPublished - 2006
Externally publishedYes
Event4th International Workshop on Principles and Practice of Semantic Web Reasoning - Buda, Hungary
Duration: 10 Jun 200611 Jun 2006
Conference number: 4

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4187 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Workshop on Principles and Practice of Semantic Web Reasoning
Abbreviated titlePPSWR 2006


Dive into the research topics of 'Supporting Open and Closed World Reasoning on the Web'. Together they form a unique fingerprint.

Cite this