- From: Martin Bernauer <bernauer@big.tuwien.ac.at>
- Date: Thu, 15 Jul 2004 15:39:30 +0200
- 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