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:ObjectProperty>

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

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

 Contact
 e-mail: kotsomit@hpclab.ceid.upatras.gr
 http://www.hpclab.ceid.upatras.gr

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

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:16:01 UTC