One-to-One relation

Hi All,

I have a question.

I want to imply one-to-one relation between class Person and class IDCard. Would the following do the work?

<daml:UniqueProperty rdf:ID='hasIDCard'>
  <rdf:type rdf:resource="http://www.daml.org/2000/10/daml-ont#UnambiguousProperty"/>
  <rdf:domain rdf:resource="#Person"/>
  <rdf:range rdf:resource="#IDCard"/>
</daml:UniqueProperty>

regards,

Daniel O Siahaan
Philips Research Laboratories
Prof. Holstlaan 4, 5656 AA Eindhoven, The Netherlands

Email: siahaan@natlab.research.philips.com
Building: WY 2.18

Received on Friday, 21 December 2001 04:01:42 UTC