W3C home > Mailing lists > Public > www-archive@w3.org > December 2003

use of log:inconsistentWith

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Mon, 29 Dec 2003 15:52:14 +0100
To: "timbl" <timbl@w3.org>, "connolly" <connolly@w3.org>
Cc: www-archive@w3.org
Message-ID: <OF9E967B81.EDD61091-ONC1256E0B.00511E21-C1256E0B.0051BEBA@agfa.be>

Tim, Dan,

In my test case work there is some use of

log:inconsistentWith a rdf:Property;
    rdfs:domain log:Formula;
    rdfs:range log:Formula;
    rdfs:comment """to say that F1 log:inconsistentWith F2
means that F1 and F2 cannot both be the case (F1 NAND F2)
or that either F1 is false or F2 is false (~F1 OR ~F2)""".

I am not expressing an inconsistency derivation as
{graph} => { } as we can't constructively prove false.
Instead I express it as
{graph} => {F1 log:inconsistentWith F2} and don't conclude
which one is false. This is up to an external actor...

I just wanted to make sure that I don't misuse the log:
namespace; is there an alternative (evt. log:nand, ...)??

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 29 December 2003 09:53:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:32:18 UTC