- From: Jonathan Borden <jborden@mediaone.net>
- Date: Fri, 4 Jan 2002 15:30:48 -0500
- To: "Tim Berners-Lee" <timbl@w3.org>, "Mark Nottingham" <mnot@mnot.net>
- Cc: <www-rdf-interest@w3.org>
Would this break your "opacity axiom"?
http://www.w3.org/DesignIssues/Axioms.html#opaque
Axiom: Opacity of URIs
The only thing you can use an identifier for is to refer to an object. When
you are not dereferencing you should not look at the contents of the URI
string to gain other information.
Jonathan
> cwm has string:startsWith which you can combine with log:uri to get this
> effect for that example
>
> { ?x log:uri [ string:startsWith "http:" ] } log:implies { ?x a
:Document }
> .
>
>
> Yes, a full URI parsing would of course be very interesting - kutgw Mark.
> For example, it would allow one to write the rules for
> a web server, or write rules to interpret the httpd.conf file or
equivalent.
>
> Tim
>
Received on Friday, 4 January 2002 15:32:02 UTC