- 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