- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Thu, 25 Oct 2012 16:09:42 +0000
- 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