NEWBIE: Property restriction semantics

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

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 UTC