Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Classifying individuals using Qualified Cardinality Restrictions

Chabot Bernard chabot.bernard at gmail.com
Fri Aug 21 01:10:24 PDT 2009


ello,

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 (Fact ++) ...

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"?>


<!DOCTYPE Ontology [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY Ontology1250754331109 "
http://www.semanticweb.org/ontologies/2009/7/Ontology1250754331109.owl#" >
]>


<Ontology xmlns="http://www.w3.org/2006/12/owl2-xml#"
     xml:base="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:Ontology1250754331109="
http://www.semanticweb.org/ontologies/2009/7/Ontology1250754331109.owl#"
     URI="
http://www.semanticweb.org/ontologies/2009/7/Ontology1250754331109.owl">
    <Declaration>
        <Class URI="&Ontology1250754331109;COMPONENT"/>
    </Declaration>
    <Declaration>
        <Class URI="&Ontology1250754331109;FUNCTION"/>
    </Declaration>
    <EquivalentClasses>
        <Class
URI="&Ontology1250754331109;Function_LinkedTo_ExactlyOne_Component"/>
        <ObjectIntersectionOf>
            <Class URI="&Ontology1250754331109;FUNCTION"/>
            <ObjectExactCardinality cardinality="1">
                <ObjectProperty URI="&Ontology1250754331109;isRenderedBy"/>
                <Class URI="&Ontology1250754331109;COMPONENT"/>
            </ObjectExactCardinality>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <SubClassOf>
        <Class
URI="&Ontology1250754331109;Function_LinkedTo_ExactlyOne_Component"/>
        <Class URI="&Ontology1250754331109;FUNCTION"/>
    </SubClassOf>
    <Declaration>
        <Class
URI="&Ontology1250754331109;Function_LinkedTo_ExactlyOne_Component"/>
    </Declaration>
    <InverseObjectProperties>
        <ObjectProperty URI="&Ontology1250754331109;isRenderedBy"/>
        <ObjectProperty URI="&Ontology1250754331109;renders"/>
    </InverseObjectProperties>
    <ObjectPropertyDomain>
        <ObjectProperty URI="&Ontology1250754331109;isRenderedBy"/>
        <Class URI="&Ontology1250754331109;FUNCTION"/>
    </ObjectPropertyDomain>
    <ObjectPropertyRange>
        <ObjectProperty URI="&Ontology1250754331109;isRenderedBy"/>
        <Class URI="&Ontology1250754331109;COMPONENT"/>
    </ObjectPropertyRange>
    <Declaration>
        <ObjectProperty URI="&Ontology1250754331109;isRenderedBy"/>
    </Declaration>
    <ObjectPropertyDomain>
        <ObjectProperty URI="&Ontology1250754331109;renders"/>
        <Class URI="&Ontology1250754331109;COMPONENT"/>
    </ObjectPropertyDomain>
    <ObjectPropertyRange>
        <ObjectProperty URI="&Ontology1250754331109;renders"/>
        <Class URI="&Ontology1250754331109;FUNCTION"/>
    </ObjectPropertyRange>
    <Declaration>
        <ObjectProperty URI="&Ontology1250754331109;renders"/>
    </Declaration>
    <ClassAssertion>
        <Class URI="&Ontology1250754331109;COMPONENT"/>
        <Individual URI="&Ontology1250754331109;C1"/>
    </ClassAssertion>
    <Declaration>
        <Individual URI="&Ontology1250754331109;C1"/>
    </Declaration>
    <ClassAssertion>
        <Class URI="&Ontology1250754331109;FUNCTION"/>
        <Individual URI="&Ontology1250754331109;F1"/>
    </ClassAssertion>
    <Declaration>
        <Individual URI="&Ontology1250754331109;F1"/>
    </Declaration>
    <ClassAssertion>
        <Class URI="&Ontology1250754331109;FUNCTION"/>
        <Individual URI="&Ontology1250754331109;F2"/>
    </ClassAssertion>
    <ObjectPropertyAssertion>
        <ObjectProperty URI="&Ontology1250754331109;isRenderedBy"/>
        <Individual URI="&Ontology1250754331109;F2"/>
        <Individual URI="&Ontology1250754331109;C1"/>
    </ObjectPropertyAssertion>
    <Declaration>
        <Individual URI="&Ontology1250754331109;F2"/>
    </Declaration>
</Ontology>



<!-- Generated by the OWL API (version 2.2.1.1138)
http://owlapi.sourceforge.net -->
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20090821/4bea7fb3/attachment.html>


More information about the protege-owl mailing list