[www-rdf-logic] <none>

Hi,

I would like to modelize in DAML+OIL a property that can take in a
particular class multiple range.
According to the documentation available on DAML+OIL, if i allow multiple
range for a same class, the range of my class must be the intersection of
all the class expressions.
How to represent it if i would like that the property take one of the two
possible range.

Example:
Let p1 be a property and C, C1 and C2 three classes.
i would like to express that p1(C,C1) or p1(C,C2).

<daml:Class rdf:ID="C">
  <rdfs:subClassOf>
    <daml:Restriction daml:minCardinality="0" >
      <daml:onProperty rdf:resource="#p1"/>
	<daml:toClass>
		<unionOf rdf:parseType="daml:collection">
			<daml:Class rdf:about="#C1"/>
			<daml:Class rdf:about="#C2"/>
		</unionOf>
	</daml:toClass>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>

Is it the right way to write this ?

Thanks in advance,

Myriam.

Received on Wednesday, 20 February 2002 12:11:24 UTC