ERDF 0.1

ERDF inference engine prototype
Abstract Syntax of ERDF Rules

Extended RDF (ERDF) extends RDF by adding weak and strong negation, as well as derivation rules. The ERDF stable model semantics, which is based on Partial Logic, extends the classical RDF(S) semantics by allowing for both truth value gaps (partiality) and truth value clashes (inconsistency) through the consideration of falsity extensions in addition to truth extensions for each predicate (class or property). ERDF supports both closed-world and open-world reasoning.

Papers

• Extended RDF as a Semantic Foundation of Rule Markup Languages, to appear in JAIR, 2008
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damasio and Gerd Wagner. Stable Model Theory for Extended RDF Ontologies. In: Yolanda Gil, Enrico Motta, V. Richard Benjamins and Mark A. Musen (Eds.). Proceedings of the 4th International Semantic Web Conference. 6-10 November, 2005, Galway, Ireland. Springer-Verlag, Lecture Notes in Computer Science, volume 3729. pp. 21–36.
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damasio and Gerd Wagner. Negation and Negative Information in the W3C Resourse Description Framework. Annals of Mathematics, Computing and Teleinformatics. 2004. volume 1, number: 2. pp. 25–34.