W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2001

Re: Domain/Range: conjuntion or disjuntion??

From: <tarod@softhome.net>
Date: Wed, 21 Nov 2001 15:42:39 GMT
Message-ID: <20011121154239.19101.qmail@softhome.net>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: brian_mcbride@hp.com, www-rdf-interest@w3.org, jena-dev@yahoogroups.com

Peter F. Patel-Schneider writes:

> 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.
> 
  Understood, thanks.

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

  What I wanted to achive is represent that the Domain of the property is
Car and MotorCycle, and you get that from CarsAndMotos, because
CarsAndMotos is subclass of Car and subclass of MotorCycle, so, if the
domain of the property is CarsAndMotos, the Subject of a sentence will be
an instance of CarsAndMotos, so, it will be an instance of Car and an
instance of MotorCycle too. That's the goal I was looking for. Did I miss
anything?

> peter
> 

  Thanks,
         Marc
Received on Wednesday, 21 November 2001 11:17:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT