Hi Bernard, just to close the thread here, the issue has been handled on the Pellet mailing list.
Holger On Aug 21, 2009, at 12:43 AM, Chabot Bernard wrote: > Hello, > > I would like to classify individuals of a very simple ontology > describe hereafter : > > =============================================== > 2 classes (primitive) : > - "FUNCTION" > - "COMPONENT" > > 2 object properties (muatually inverse of each other) : > - "isRenderedBy" (domain = "FUNCTIO"N / range = "COMPONENT") > - "render"s (domain = "COMPONENT" / range = "FUNCTION") > > 3 individuals : > "F1" : a "FUNCTION" (not linked to any "COMPONENT") > "F2" : a "FUNCTION" linked to "C1" through the property > "isRenderedBy" > "C1" : a "COMPONENT" linked to "F2" through the property > "renders" > > ================================================= > > After that I've create adefined class named > "Function_LinkedTo_OnlyOne_Component" with this axiom : > FUNCTION and isRenderedBy exactly 1 COMPONENT > > Then I run the classifier (Pellet) ... > > and the individual "F2" is not reconized as a > "Function_LinkedTo_OnlyOne_Component" > > Is anyone could helps me to understant why ? > > Do I miss something ? > > Is anyone has some "HelloWorld owl file available with working example > of Qualified Cardinality Restrictions axioms ? > > Best Regards > > Bernard > > > PS : Here is the original file > > =================================================================== > <?xml version="1.0"?> > <rdf:RDF > xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"; > xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"; > xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#"; > xmlns="http://www.owl-ontologies.com/Ontology1250689513.owl#"; > xmlns:owl="http://www.w3.org/2002/07/owl#"; > xmlns:xsd="http://www.w3.org/2001/XMLSchema#"; > xmlns:swrl="http://www.w3.org/2003/11/swrl#"; > xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"; > xmlns:owl11="http://www.w3.org/2006/12/owl11#"; > xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"; > xml:base="http://www.owl-ontologies.com/Ontology1250689513.owl";> > <owl:Ontology rdf:about=""/> > <owl:Class rdf:ID="Function_LinkedTo_ExactlyOne_Component"> > <owl:equivalentClass> > <owl:Class> > <owl:intersectionOf rdf:parseType="Collection"> > <owl:Class rdf:ID="FUNCTION"/> > <owl:Restriction> > <owl11:onClass> > <owl:Class rdf:ID="COMPONENT"/> > </owl11:onClass> > <owl:cardinality > rdf:datatype="http://www.w3.org/2001/XMLSchema#int > " > >1</owl:cardinality> > <owl:onProperty> > <owl:ObjectProperty rdf:ID="isRenderedBy"/> > </owl:onProperty> > </owl:Restriction> > </owl:intersectionOf> > </owl:Class> > </owl:equivalentClass> > <rdfs:subClassOf> > <owl:Class rdf:about="#FUNCTION"/> > </rdfs:subClassOf> > </owl:Class> > <owl:Class rdf:about="#COMPONENT"> > <owl:disjointWith> > <owl:Class rdf:about="#FUNCTION"/> > </owl:disjointWith> > </owl:Class> > <owl:Class rdf:about="#FUNCTION"> > <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/ > owl#Thing"/> > <owl:disjointWith rdf:resource="#COMPONENT"/> > </owl:Class> > <owl:ObjectProperty rdf:about="#isRenderedBy"> > <owl:inverseOf> > <owl:ObjectProperty rdf:ID="renders"/> > </owl:inverseOf> > <rdfs:range rdf:resource="#COMPONENT"/> > <rdfs:domain rdf:resource="#FUNCTION"/> > </owl:ObjectProperty> > <owl:ObjectProperty rdf:about="#renders"> > <rdfs:domain rdf:resource="#COMPONENT"/> > <owl:inverseOf rdf:resource="#isRenderedBy"/> > <rdfs:range rdf:resource="#FUNCTION"/> > </owl:ObjectProperty> > <FUNCTION rdf:ID="FUNCTION_12"> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"; > >F0 : a function not linked to any component</rdfs:label> > </FUNCTION> > <COMPONENT rdf:ID="COMPONENT_8"> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"; > >C6</rdfs:label> > </COMPONENT> > <FUNCTION rdf:ID="FUNCTION_18"> > <isRenderedBy> > <COMPONENT rdf:ID="COMPONENT_4"> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string > " > >C3</rdfs:label> > </COMPONENT> > </isRenderedBy> > <isRenderedBy> > <COMPONENT rdf:ID="COMPONENT_3"> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string > " > >C2</rdfs:label> > </COMPONENT> > </isRenderedBy> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"; > >F2 : a function linked to 2 component</rdfs:label> > </FUNCTION> > <COMPONENT rdf:ID="COMPONENT_13"> > <renders> > <FUNCTION rdf:ID="FUNCTION_1"> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string > " > >F1 : a function linked to exactly 1 component</rdfs:label> > <isRenderedBy rdf:resource="#COMPONENT_13"/> > </FUNCTION> > </renders> > <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"; > >C1</rdfs:label> > <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string > " > ></rdfs:comment> > </COMPONENT> > </rdf:RDF> > > <!-- Created with TopBraid Composer --> > > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
