[protege-discussion] Can't classify the OWL class properly, Why?

[Timothy Redmond]

>  <A rdf:ID="x">
>    <pA>
>      <B rdf:ID="y"/>
>    </pA>
>  </A>
>
> Where pA has a valuse y and y belong to B. Couldn't the text shows
> that the x only has a pA value of y?
>


No.  It says that x has a pA value of y.  It doesn't say anything  
about the non-existence of other values.  There are several ways of  
ensuring that there is only one value including asserting that x  
belongs to the class of individuals with only one pA value or stating  
that pA is functional.

-Timothy




On Sep 5, 2009, at 2:21 AM, 刘康 wrote:

> I'm not the expert of OWL, and I usually don't write the OWL in text.
> The definition of we discussed by Protege 3.4 is shown bellow:
>
> <?xml version="1.0"?>
> <rdf:RDF
>    xmlns="http://www.owl-ontologies.com/Ontology1252141652.owl#"
>    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: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:rdfs="http://www.w3.org/2000/01/rdf-schema#"
>  xml:base="http://www.owl-ontologies.com/Ontology1252141652.owl">
>  <owl:Ontology rdf:about=""/>
>  <owl:Class rdf:ID="C">
>    <owl:equivalentClass>
>      <owl:Class>
>        <owl:intersectionOf rdf:parseType="Collection">
>          <owl:Class rdf:ID="A"/>
>          <owl:Restriction>
>            <owl:onProperty>
>              <owl:ObjectProperty rdf:ID="pA"/>
>            </owl:onProperty>
>            <owl:allValuesFrom>
>              <owl:Class rdf:ID="B"/>
>            </owl:allValuesFrom>
>          </owl:Restriction>
>        </owl:intersectionOf>
>      </owl:Class>
>    </owl:equivalentClass>
>    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/ 
> owl#Thing"/>
>  </owl:Class>
>  <owl:ObjectProperty rdf:about="#pA">
>    <rdfs:domain rdf:resource="#A"/>
>  </owl:ObjectProperty>
>  <A rdf:ID="x">
>    <pA>
>      <B rdf:ID="y"/>
>    </pA>
>  </A>
> </rdf:RDF>
>
> <!-- Created with Protege (with OWL Plugin 3.4, Build 533)
> http://protege.stanford.edu -->
>
> Notes the individual x is asserted:
>
>  <A rdf:ID="x">
>    <pA>
>      <B rdf:ID="y"/>
>    </pA>
>  </A>
>
> Where pA has a valuse y and y belong to B. Couldn't the text shows
> that the x only has a pA value of y?
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03