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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:45 GMT