- From: Jonas Liljegren <jonas@rit.se>
- Date: 29 Mar 2001 17:08:09 +0200
- To: Peter Crowther <Peter.Crowther@melandra.com>
- Cc: www-rdf-logic@w3.org
Peter Crowther <Peter.Crowther@melandra.com> writes:
> It's worth thinking about what happens if the split is removed, though. In
> particular, how does one avoid being able to express:
>
> - 5 is a kind of -3;
>
> - concrete class X is a kind of datatype D;
>
> - The datatypes ["A", "N") and {"Aardvark", 1, 3.14159} are equal;
>
> - refinements of data values ("the 3 which is the number of legs on a
> 3-legged pig"*) and what happens if you try to use the data values' built-in
> predicates, such as less-than and greater-than. For example, is "the 3
> which is the number of legs on a 3-legged pig" greater-than "the 1 which is
> the number of legs on half a pair of trousers"*?
I would like to see these examples formulated in RDF, since I can't
understand exactly whay you mean with 'is a kind of', 'are equal'...
--
/ Jonas Liljegren
The Wraf project http://www.uxn.nu/wraf/
Sponsored by http://www.rit.se/
Received on Thursday, 29 March 2001 10:04:28 UTC