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 owl:allValuesFrom (cf. the original posting), I hit 
another passage in Section 4.1.1 rdfs:subPropertyOf 

"[..] 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?

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