AW: WG: Cases in the new specification of RDF Schema

> On Friday 11 June 2004 11:13, Kianoush Eshaghi wrote:
> > > 2. A Property would own multiple domains and rangs. It
> would like such
> > > as following:
> > >
> > > <rdf:Property rdf:about="a">
> > > 	<rdfs:domain rdf:resource="#A"/>
> > > 	<rdfs:range    rdf:resource="#B"/>
> > > 	<rdfs:domain rdf:resource="#C"/>
> > > 	<rdfs:range    rdf:resource="#D"/>
> > > 	...
> > > 	...
> > > </rdf:Property>
> >
> > And this, but it probably doesnt mean what you think it
> does. It would
> > make anything that was in the domain of 'a' a member of #A and #C.
> >
> > My RDF Schema should assert that the domain of 'a' must contain only
> > members of #A and #C, and the range of 'a' must contain
> only members of
> > #B and #D.
>
> And therefore if you find a triple
>
>     froglegs a smokechain
>
> you may deduce that froglegs has types A and C and that smokechain has
> types B and D.
>
> Right?

froglegs must have members with types of 'A' OR types of 'C'.
smokechain must have members with types of 'B' OR types of 'D'.

Received on Friday, 11 June 2004 06:44:05 UTC