W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Issue with Max cardinality

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:
			
		
        




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

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT