- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Sat, 28 Apr 2001 16:18:02 +0100
- To: <uri@w3.org>
> The question is what can URIs do that URNs can not.
The question is are:-
:Tag rdfs:subClassOf :Urn .
# or
:Tag rdfs:subClassOf :Uri .
Where it should be noted that because:-
:Urn rdfs:subClassOf :Uri .
rdfs:subClassOf a daml:TransitiveProperty .
{ { :x rdfs:subClassOf :Urn .
:Urn rdfs:subClassOf :Uri }
log:implies
{ :x rdfs:subClassOf :Uri } log:forAll :x , :Urn , :Uri } .
In other words, do "tags" introduce any specific semantics outside of
that constrained by URNs? If not, then they should be URNs because it
is useful to reuse the semantics, and if so they will have to be URIs.
Hmm... I guess that would actually be something like:-
<> log:forAll :p , :q , :T , :N .
{ :p :propertyOf :T . :T a :Tag .
:q :propertyOf :N . :N a :Urn .
:p daml:disjointFrom :q }
log:implies
{ :T daml:disjointFrom :N } .
Or something or other.
--
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .
Received on Saturday, 28 April 2001 11:19:29 UTC