Re: Are properties from a context-constrained class inherited by subclasses?

> Hi Folks,
> 
> Suppose that I have this class heirarchy:
> 
>         River
>            |
>       Flueve
>           |
>        Blah
> 
> Suppose that the property, emptiesInto, has a domain of River:
> 
>      <owl:ObjectProperty rdf:ID="emptiesInto">
>            <rdfs:domain rdf:resource="#River"/>
>            <rdfs:range rdf:resource="#BodyOfWater"/>
>      </owl:ObjectProperty>
> 
> Suppose the Flueve constrains emptiesInto to have a range of #Sea:
> 
>      <owl:Class rdf:ID="Flueve">
>          <rdfs:subClassOf rdf:resource="#River"/>
>           <rdfs:subClassOf>
>                 <owl:Restriction>
>                         <owl:onProperty rdf:resource="#emptiesInto"/>
>                         <owl:allValuesFrom rdf:resource="#Sea"/>
>                 </owl:Restriction>
>           </rdfs:subClassOf>
>      </owl:Class>
> 
> Question: what is the range of emptiesInto when used in the Blah
> Class?   /Roger
> 

The class "#Sea" or a subClassOf  "#Sea".

Yuzhong Qu