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
-~----------~----~----~----~------~----~------~--~---
