Re: KR, meet WWW. was: Clarifying what a URL identifies (Four Uses of a URL)

offlist, copy to www-archive...

On Fri, 2003-01-24 at 08:23, Tim Berners-Lee wrote:
[...]
> If you like, it is as though there is an axiom
> 
> { ?x log:uri ?u.  ?u  string:match "^http://[^#]$" } => { ?x rdf:type 
> doc:Work }.
> 
> (where string:match is a regexp matcher)
> This axioms comes from the URI spec and the specs it references.

???

Which section of the URI spec does that come from?

This sort of thing totally undermines your argument,
I think.

> Any semantic web engine can conclude it.  It is not authorized
> by the OWL spec, it is authorized by the URI spec.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Friday, 24 January 2003 09:46:00 UTC