- From: Bijan Parsia <bijan.parsia@manchester.ac.uk>
- Date: Sat, 27 Dec 2014 14:07:36 +0000
- To: Ignazio Palmisano <ipalmisano.mailings@gmail.com>
- CC: Leila Bayoudhi <bayoudhileila@yahoo.fr>, "public-owl-dev@w3.org" <public-owl-dev@w3.org>
I'm also not sure what you want specifically. We know, by the predefined disjointness of the types that the values must be distinct and by the functionality that we must have only one successor. By the distinctness, we have two. Contradiction. If you are trying to illustrate how values carry identity conditions, I wouldn't use values from disjoint types, but merely different values from the same type eg 1 and 2. If you are trying to show that lexical form is datatype sensitive then yeah using same lexical form and disjoint datatype will do the trick. Cheers, Bijan.
Received on Saturday, 27 December 2014 14:08:01 UTC