[Pellet-users] Data property restriction with a range not being realized

[Shahim Essaid]

Hello,

I have the following individual and class expression but the Protege 4 
release (build 113)  with Pellet 0.9.3 is not realizing that the 
individual as an instance of the class.  FaCT++ is working in this case 
1.3.  Is this reasoning supported in Pellet at this time?

Thanks,
Shahim Essaid


   <owl:Thing rdf:about="#ind">
       <value 
rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">17</value>
   </owl:Thing>


   <owl:Class rdf:about="#Child">
       <owl:equivalentClass>
           <owl:Restriction>
               <owl:onProperty rdf:resource="#value"/>
               <owl:someValuesFrom>
                   <rdf:Description>
                       <rdf:type 
rdf:resource="http://www.w3.org/2000/01/rdf-schema#Datatype"/>
                       <owl:onDatatype 
rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
                       <owl:withRestrictions rdf:parseType="Collection">
                           <rdf:Description>
                               <xsd:maxExclusive 
rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">18</xsd:maxExclusive> 

                           </rdf:Description>
                       </owl:withRestrictions>
                   </rdf:Description>
               </owl:someValuesFrom>
           </owl:Restriction>
       </owl:equivalentClass>
   </owl:Class>