W3C home > Mailing lists > Public > public-prov-wg@w3.org > October 2012

PROV-ISSUE-577 (valid-vs-consistent): Terminology: valid vs. consistent [prov-dm-constraints]

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Thu, 25 Oct 2012 16:09:42 +0000
Message-Id: <E1TRQ06-0008VR-PZ@tibor.w3.org>
To: public-prov-wg@w3.org
PROV-ISSUE-577 (valid-vs-consistent): Terminology: valid vs. consistent [prov-dm-constraints]

http://www.w3.org/2011/prov/track/issues/577

Raised by: James Cheney
On product: prov-dm-constraints

PROV then uses the word "valid" where logic would use "consistent". In logic, a formula is valid iff it is necessarily true (it's a tautology). The use of a different term does not help non-logician (they would not be disturbed by the term "consistent") but may be a problem for logicians who are used to other terms.
Received on Thursday, 25 October 2012 16:09:43 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:20 UTC