- From: Dimitrios A. Koutsomitropoulos <kotsomit@hpclab.ceid.upatras.gr>
- Date: Tue, 17 Feb 2004 17:26:09 +0200
- To: <public-webont-comments@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