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'.