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

Re: NEWBIE: Property restriction semantics

From: Dimitrios A. Koutsomitropoulos <kotsomit@hpclab.ceid.upatras.gr>
Date: Tue, 17 Feb 2004 17:26:09 +0200
To: <public-webont-comments@w3.org>
Message-Id: <20040217152603.BCEBD3F4971@dr-nick.w3.org>

Let's consider the following modification of Brian's example:

<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:equivalentClass>  <!-- instead of subClassOf -->
     </owl:onProperty rdf:resource="#hasGrade"/>
     </owl:hasValue rdf:resource="#Failed"/>

And just assert that Brian isA FailedStudent:

<FailedStudent rdf:ID="Brian" />

Would this imply that Brian hasGrade Failed?

I would be really happy for any feedback on this!

Many thanks,

Dimitris Koutsomitropoulos

High Performance Information Systems Laboratory
University of Patras, Greece

 e-mail: kotsomit@hpclab.ceid.upatras.gr

Received on Tuesday, 17 February 2004 10:29:29 UTC

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