W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2004

Re: Use of the word "should" in OWL Rec

From: Martin Bernauer <bernauer@big.tuwien.ac.at>
Date: Thu, 15 Jul 2004 15:39:30 +0200
Message-ID: <40F68912.6080209@big.tuwien.ac.at>
To: www-rdf-interest@w3.org

In addition to the possibly inappropriate use of the word SHOULD in 
Section 3.1.2.1.1 owl:allValuesFrom (cf. the original posting), I hit 
another passage in Section 4.1.1 rdfs:subPropertyOf 
(http://www.w3.org/TR/owl-ref/#subPropertyOf-def):

"[..] Formally this means that if P1 is a subproperty of P2, then the 
property extension of P1 (a set of pairs) SHOULD be a subset of the 
property extension of P2 (also a set of pairs)."

Comparing this with the semantics in 
http://www.w3.org/TR/owl-absyn/direct.html#3.3, which states that ER(p1) 
⊆ ER(p2), the use of SHOULD here again seems misleading.

Could someone be so kind and comment on why SHOULD is appropriate in 
those sections?

Thanks!
Martin
Received on Thursday, 15 July 2004 09:42:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:50 UTC