Re: ObjectProperty defined using rdfs:range, equivalent to using owl:allValuesFrom?

Roger's question just brought to my attention the properties
in [1] like:

  <owl:ObjectProperty rdf:ID="&vin;regionOf">
    <owl:inverseOf rdf:resource="&vin;hasRegion"/>
    <owl:allValuesFrom rdf:resource="&vin;Country"/>
    <owl:cardinality rdf:datatype="&xsd;NonNegativeInteger">1</owl:cardinality>
  </owl:ObjectProperty>

which look very odd to me.  [2] shows the rdfs:domain of
owl:allValuesFrom and owl:cardinality to be owl:Restriction.
Did something drastically change or are these examples
problematic?

Also, NonNegativeInteger should be nonNegativeInteger,
throughout.

	Mike

[1] http://www.w3.org/TR/owl-guide/#AppendixC

[2] http://www.w3.org/2002/07/owl

Received on Tuesday, 4 March 2003 09:04:27 UTC