[Pellet-users] Simple datatype restriction question.

[Olivier Rossel]

Sorry to ask for something probably very simple.
I have an ontology that defines available and unavailable items based
on the value of its stock datatype value.
At the moment Pellet is not able to infer which item is available or
not (I tried in Swoop 2.2.1 and Swoop 2.3beta4).

Did I miss something in my modeling?
Any piece of advice is very welcome.

Here is the corresponding ontology:
---
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
 <!ENTITY owl "http://www.w3.org/2002/07/owl#">
 <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
 <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
 <!ENTITY tata "http://tata#">
 <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
]>
<rdf:RDF xml:base="http://tata"
        xmlns:owl="&owl;"
        xmlns:rdf="&rdf;"
        xmlns:rdfs="&rdfs;"
        xmlns:tata="&tata;">

<!-- Ontology Information -->
 <owl:Ontology rdf:about=""
               rdfs:label="THis is a tata"/>

<!-- Classes -->
 <owl:Class rdf:about="#AvailableItem">
   <rdfs:subClassOf rdf:resource="#Item"/>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:allValuesFrom rdf:resource="&xsd;positiveInteger"/>
       <owl:onProperty rdf:resource="#hasStock"/>
     </owl:Restriction>
   </rdfs:subClassOf>
 </owl:Class>

 <owl:Class rdf:about="#Item"/>
 <owl:Class rdf:about="#UnavailableItem">
   <rdfs:subClassOf rdf:resource="#Item"/>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:hasValue rdf:datatype="&xsd;integer">0</owl:hasValue>
       <owl:onProperty rdf:resource="#hasStock"/>
     </owl:Restriction>
   </rdfs:subClassOf>
 </owl:Class>

<!-- Datatypes -->
 <rdfs:Datatype rdf:about="&xsd;integer"/>
 <rdfs:Datatype rdf:about="&xsd;positiveInteger"/>

<!-- Annotation Properties -->
 <owl:AnnotationProperty rdf:about="&rdfs;label"/>

<!-- Datatype Properties -->
 <owl:DatatypeProperty rdf:about="#hasStock">
   <rdfs:domain rdf:resource="#Item"/>
   <rdfs:range rdf:resource="&xsd;integer"/>
 </owl:DatatypeProperty>

<!-- Instances -->
 <tata:Item rdf:about="#anItem">
   <tata:hasStock rdf:datatype="&xsd;integer">2</tata:hasStock>
 </tata:Item>

 <tata:Item rdf:about="#anotherItem">
   <tata:hasStock rdf:datatype="&xsd;integer">0</tata:hasStock>
 </tata:Item>
</rdf:RDF>
---