- From: Matteo <matteo.danieletto@gmail.com>
- Date: Tue, 23 Nov 2010 22:41:35 +0100
- To: public-owl-dev@w3.org
- Message-ID: <735069F7884C4303BB152EA540058CA5@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/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:
Attachments
- application/octet-stream attachment: test.owl
Received on Wednesday, 24 November 2010 16:46:28 UTC