- From: Tim Berners-Lee <timbl@w3.org>
- Date: Mon, 27 Jan 2003 18:23:40 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: www-archive@w3.org
On Friday, Jan 24, 2003, at 09:45 US/Eastern, Dan Connolly wrote:
> 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?
>
The URI spec calls out the MIEM type registry,
The MIME type registry calls out the HTTP spec.
The HTTP spec says it identifies a network information object.
> This sort of thing totally undermines your argument,
> I think.
>
It is difficult to make the point about the URI spec constraining
models in OWL without being concrete, and its difficult to
be concrete when there is no formalization in the web specs.
What would you have suggested as an alternative?
Tim
>> 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 Tuesday, 28 January 2003 19:11:02 UTC