Issue with Max cardinality

   Hi everybody,I don't know, if I have a big issue or a little issue, but the problem is with the QRC.I am building a trivial ontology to test some property to classify the something.I have built a subclass with min cardinality and there weren't problems so I have thought to do the same way with the max Cardinality. Here begin the issue, the reasoner doesn't fill the subclass with the instances.The ontology has 5 class and 3 subclass. The issue is in the subclass EPLUS, below I reported the class, subclass and individuals.Class<owl:Class rdf:about="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#E">        <rdfs:subClassOf rdf:resource="&owl;Thing"/>        <rdfs:subClassOf>            <owl:Restriction>                <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#hasFeatureF"/>                <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#F"/>       
     </owl:Restriction>        </rdfs:subClassOf>    </owl:Class><owl:Class rdf:about="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#F"/>SubClass EPLUS <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#EPLUS">        <owl:equivalentClass>            <owl:Class>                <owl:intersectionOf rdf:parseType="Collection">                    <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#E"/>                    <owl:Restriction>                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#hasFeatureF"/>                        <owl:onClass rdf:resource="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#F"/>                        <owl:maxQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:maxQualifiedCardinality>                   
 </owl:Restriction>                </owl:intersectionOf>            </owl:Class>        </owl:equivalentClass>    </owl:Class>    Individual<owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#E1">        <hasFeatureF rdf:resource="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#F1"/> </owl:NamedIndividual><owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#F1">        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2010/10/18/test.owl#F"/></owl:NamedIndividual>Why the E1 is not classify in EPLUS? It has a link with a individual in class F. Where I wrong ? Thanks a lotMatteoI attached the ontology to simplify:
   
  
        

Received on Wednesday, 24 November 2010 16:46:28 UTC