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

Thomas Schneider schneidt at cs.man.ac.uk
Fri Aug 21 02:01:30 PDT 2009


Hi Bernard,

this is a classical case of the Open World Assumption (OWA) adopted by  
OWL:

Your ontology explicitly says that F2 is rendered by C1, but this  
doesn't mean that F2 can't be rendered by anything else. For instance,  
an interpretation where F1 is also rendered by C1 would be a model of  
your ontology. Or an interpretation where some anonymous individual(s)  
is/are rendered by C1.

If you need to make sure that F2 is rendered by C1 and *only* C1, you  
would have to add, for instance, an explicit class assertion  
containing a max-cardinality constraint for F2, saying that F2 is  
rendered by at most one component.

Cheers

Thomas

On 21 Aug 2009, at 09:10, Chabot Bernard wrote:

> 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 
>  -->
>
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

+----------------------------------------------------------------------+
|  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
|  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |
+-----------------------------------------------------oOOO--(_)--OOOo--+

Golant (adj.)
   Blank, sly and faintly embarrassed. Pertaining to the expression seen
   on the face of someone who has clearly forgotten your name.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff


















More information about the protege-owl mailing list