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]


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.4.0 : Friday, 17 January 2020 16:51:24 UTC