owl:allValuesFrom / owl:someValuesFrom question

All,

Given this ontology snippet from [1]:

<owl:Class rdf:ID="Wine">
  <rdfs:subClassOf rdf:resource="&food;PotableLiquid" />
  ...
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#hasMaker" />
      <owl:allValuesFrom rdf:resource="#Winery" />
    </owl:Restriction>
  </rdfs:subClassOf>
  ...
</owl:Class>

MUST #Winery be equal to or a subclass of #hasMaker's range? Or, can you
override #hasMaker's range entirely and put any arbitrary class as the
resource of owl:allValuesFrom / owl:someValuesFrom?


[1]
http://www.w3.org/TR/2004/REC-owl-guide-20040210/#PropertyRestrictions

Thanks,
Brian

Received on Friday, 14 October 2005 15:30:37 UTC