- From: Michael Brunnbauer <brunni@netestate.de>
- Date: Wed, 28 Mar 2012 23:35:04 +0200
- To: Norman Gray <norman@astro.gla.ac.uk>
- Cc: Jonathan A Rees <rees@mumble.net>, Tim Berners-Lee <timbl@w3.org>, public-lod community <public-lod@w3.org>
Hallo Norman, > -Regardless of how you define IR, everything that denotes what it accesses > should lie in IR. > > -Putting something in NIR therefor also answers the question if it denotes > what it accesses with "no" by entailment. I have worded this very badly. We are talking about things and names of things. This should be: For all URIs U: denote(U) = access(U) -> denote(U) a IR It follows: For all URIs U: denote(U) not a IR -> denote(U) != access(U) > -There may or may not be IRs that do not denote what they access. And this should be: There is a URI U where: denote(U) a IR and denote(U) != access(U). Now if a am allowed to mint a URI that 303's to your homepage and your homepage is an IR, such an URI must exist: U1 = Your URI for your homepage U2 = My URI for your homepage denote(U1) a IR denote(U2) != access(U2) denote(U1) = denote(U2) thererfor denote(U2) a IR and denote(U2) != access(U2) I think I'll stay out of this discussion from now :-) Regards, Michael Brunnbauer -- ++ Michael Brunnbauer ++ netEstate GmbH ++ Geisenhausener Straße 11a ++ 81379 München ++ Tel +49 89 32 19 77 80 ++ Fax +49 89 32 19 77 89 ++ E-Mail brunni@netestate.de ++ http://www.netestate.de/ ++ ++ Sitz: München, HRB Nr.142452 (Handelsregister B München) ++ USt-IdNr. DE221033342 ++ Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer ++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel
Received on Wednesday, 28 March 2012 21:35:30 UTC