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>


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:Class rdf:ID="FailedStudent">
 <rdfs:subClassOf rdf:resource="#Student"/>
     </owl:onProperty rdf:resource="#hasGrade"/>
     </owl:hasValue rdf:resource="#Failed"/>

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"/>

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

Thanks for any input!

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:29 UTC