Is there an implementer's convention for indicating false? from Graham Klyne on 2003-11-11 (www-rdf-logic@w3.org from November 2003)

From: Graham Klyne <gk@ninebynine.org>
Date: Tue, 11 Nov 2003 17:13:13 +0000
To: www-rdf-logic@w3.org
Message-Id: <5.1.0.14.2.20031111163200.00ba4da0@127.0.0.1>

I'm wondering if there's any common convention among implementers of RDF 
inference systems for indicating that some offered premis is unsatisfiable, 
in systems where all results are presented as some form of RDF.

e.g.

    _:a owl:sameAs "1" .
    _:a owl:sameAs "2" .
=>
    ?

(expressed as an RDF graph.)

#g


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact

Received on Tuesday, 11 November 2003 12:14:57 UTC