Re: TR: SHOE, DAML : Conflicting definitions of "Thing" ? from Mike Dean on 2003-04-24 (www-rdf-logic@w3.org from April 2003)

From: Mike Dean <mdean@bbn.com>
Date: Thu, 24 Apr 2003 16:22:18 -0700
To: Dan Brickley <danbri@w3.org>
cc: Bernard Vatant <bernard.vatant@mondeca.com>, www-rdf-logic@w3.org, Maria Teresa Pazienza <pazienza@info.uniroma2.it>, Fabio Zanzotto <zanzotto@info.uniroma2.it>, Patrizia Paggio <patrizia@cst.dk>
Message-Id: <200304242322.QAA20332@escher.SD.BBN.COM>

> But things can have multiple names;

Yes, motivating in part daml:sameIndividualAs,
daml:sameClassAs, etc.

> we don't make unique name assumption, do we?

No.

	Mike

Received on Thursday, 24 April 2003 19:22:32 UTC