W3C home > Mailing lists > Public > public-webont-comments@w3.org > January 2004

NEWBIE: Property restriction semantics

From: Brian Manley <bmanley@granite.com>
Date: Mon, 12 Jan 2004 12:21:02 -0500
Message-ID: <C83F12FB81476D4280A4AF1E89BCCAA4046505@grant>
To: <public-webont-comments@w3.org>

All,

Can a class instance change it's class membership by changing the
value of its properties?

In my ontology I have the following definitions ( excuse my typos ):

<owl:Class rdf:ID="Student"/>

<owl:ObjectProperty rdf:ID="hasGrade">
 <rdfs:domain rdf:resource="#Student"/>
 <rdfs:range rdf:resource="#Grade"/>
</owl:ObjectProperty>

<owl:Class rdf:ID="FailedStudent">
 <rdfs:subClassOf rdf:resource="#Student"/>
 <rdfs:subClassOf>
   <owl:Restriction>
     </owl:onProperty rdf:resource="#hasGrade"/>
     </owl:hasValue rdf:resource="#Failed"/>
   </owl:Restriction>
 </owl:subClassOf>
</owl:Class>

I'll omit the definition of "Grade" and friends for the sake of brevity...

Now, suppose I define:

<Student rdf:ID="Brian">
 <hasGrade rdf:resource="#Failed"/>
</Student>

Is my instance, based on the value of the "hasGrade" property, a "FailedStudent"
or just a "Student"? Why ( not )?

Thanks for any input!
Brian



 
Received on Monday, 12 January 2004 12:24:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:43:29 GMT