Re: Sloppy inference rules

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 06/11/12 12:21, Nathan wrote:
> Steve Harris wrote:
> 
>> It's not speculation, I've heard people complain that they can't
>> use integers to identify e.g. people, and have to stick a URI
>> prefix on the front.
>> 
>> We'd have the same issues with lexical "tags", and other things
>> that are identifiers in some defined context.
> 
> People can already make masses of "mistakes" when using RDF, why is
> this particular "mistake" more considered than any other?
> 
> This is a technical argument vs an opinion. People should be free
> to make their own "mistakes".

Agreed. Why should people be prevented from expressing perfectly
coherent and reasonable things just because the same form can also
be used to express nonsense?

Also agree with Pat that rules that entail valid things by deriving
from invalid intermediate facts is a significant weirdness...

- -w

- -- 
William Waites MBCS
Network Engineer                          Research Fellow
High-speed Universal Broadband Scotland   School of Informatics
University of Stirling                    University of Edinburgh
http://www.tegola.org.uk/                 wwaites@tardis.ed.ac.uk


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://www.enigmail.net/

iQIcBAEBAgAGBQJQmSkNAAoJEAmkx526g9IZ1SsP/1Xmz/OTr5Nuy0tewhBzzthv
OHeQQnZejzFdwnxS6SD12yZU8ItAl8bGdEw30gjkAZ99NgKmLXIX6HBIQpy67jzZ
zvrW/x2nu22r0HiQXnFCVAVEb5fYLuzNS27CFeUHpwjaUa+9hZSqG/uusIMSA+yT
BO4/tEduxuCYgvibmnN6KtDV5uDxLD8UkfBNo5CUwz8JLRW2guUDYxF83LLqVWo0
FeaO7Kdkj8xASj9IdJsYfSJIPH5aVllJyHb1kXu9e5Gi2dKVjOJ7Ud2s/nLVULlL
2JWWh4k3o0d1JOLvRINAzMLIpCq+N/5SxYZ50VwRCX2wilZCy3syRlJalZzBsA1Y
Df0SDVTAVsPVHIHJQzqO3QMa47IiIv1vwFsOkXtYoEElCHvgWPZT/COUG7R0BCVx
KWzNnCRj9yN4D7fA9G6fHlSdAjuKIk1ffv3reFMoHFQCysZlyz3dJkbbxeJIA/P9
Jez9Z7IiYcFJVQ/rhd0mKl3+DsHlI3FkLGKK06ahOB77oKtUeuUqWpctn+duanTJ
ip9Z29d9V7oAiOLlkSdUND4kdrlGWfCOZvhH0SS0XPbCwuEUnZjuyh6Esf8w99V2
GGrCqF7rXXLPG2JMrlxhPzkDQ+mBTgI381exh1jab1m0X+GLrJLOSoX6pB3yBvDU
RI+yJ2Wj9BjI58RMBL4c
=mrMv
-----END PGP SIGNATURE-----

Received on Tuesday, 6 November 2012 15:13:58 UTC