Re: Domain/Range: conjuntion or disjuntion??

From: tarod@softhome.net
Subject: Re: Domain/Range: conjuntion or disjuntion??
Date: Wed, 21 Nov 2001 14:10:38 GMT
> 
>   I'm sorry, I don't understand the part 'concept-formint operators' what
> do you mean?

A concept-forming operator is something like disjunction, that takes some
entities, in this case several concepts and produces another concept, in
this case their disjunction.  This is different from the concept-relating
properties of RDF.

>   What I wanted to explain is that a object CarsAndMotos must be instanceOf
> Car and instance of MotorCycle, so the 'trick' we use here works as we
> wish, but an instance of Vehicle should not be instance of Car neither
> MotorCycle, so the trick proposed here doesn't work.

But it doesn't work to capture the conjunction, which appears to be what
you are trying to achieve.  If you want the range to be the intersection of
Car and Motorcyle you don't get that from CarsAndMotos.

>       - Marc

peter