RDF Surfaces specifies a Notation3 sublanguage to express RDF Logic, but including
a classic negation. Using this classic negation, and the default assertion of triples,
that is available in standard RDF, inferences and a subset of first-class logic can
be defined by combining surfaces.
Using RDF Surfaces, the claim is that all of RDF entailment and rules and proofs can
be expressed using one RDF Vocabulary (and not a combination of vocabularies). A
first implementation of RDF Surfaces is available in the EYE reasoner.
RDF Surfaces Primer