Search Mailing List Archives
[protege-discussion] Can't classify the OWL class properly, Why?
Timothy Redmond
tredmond at stanford.edu
Sat Sep 5 18:40:14 PDT 2009
> <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
More information about the protege-discussion
mailing list