Re: owl:allValuesFrom / owl:someValuesFrom question

owl:allValuesFrom / owl:someValuesFrom questionHi, Brian,

The object of owl:allValuesFrom / owl:someValuesFrom can be any class you want (say yourClassForLocalRange) . It restricts the range or specifies the existence of the concerned property for the local class. It does not override the global range of the concerned property.

For the automatic reasoner, the real range (local) will be logically equal to the inersection of  yourClassForLocalRange with the property's Global Range.

In your example, the local range is logically equal to the inersection of  #Winery with #hasMaker's Global Range (if it exists).




Yuzhong Qu


  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