- From: Matteo <matteo.danieletto@gmail.com>
- Date: Wed, 24 Nov 2010 15:42:31 +0100
- To: public-owl-dev@w3.org
- Message-ID: <AE1EDB9CED23437C9140C0250E08AAE2@gmail.com>
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/1Â 0/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"/> & nbsp;          <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:intersec tionOf> </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:
Attachments
- application/octet-stream attachment: test.owl
Received on Wednesday, 24 November 2010 16:46:27 UTC