- From: McBride, Brian <bwm@hplb.hpl.hp.com>
- Date: Wed, 1 Nov 2000 21:19:04 -0000
- To: "'Dan Connolly'" <connolly@w3.org>
- Cc: www-rdf-logic@w3.org
> then that axiom will not fire because ...
I'm dumb. I was assuming, no doubt incorrectly, that
this was the only axiom for import.
> If the ontology is fetched via some other URI - lets say
> for some reason the client fetches the page using
> ftp://example.org/page1. Should the semantics of an
> ontology change because a different protocol was used to
> access it?
Dumb again. The semantics haven't changed. There's a global
renaming going on. We have:
equivalentTo(ftp://example.org/page1, http://example.org/page1)
and an axiom:
equivalentTo(?uriX, ?uriY)
/\ consistsOf(?z, ?uriX, ?fragment)
=> equivalentTo(concat(?uriX, ?fragment)
concat(?uriY, ?fragment))
where consistsOf(x,y,z) means x consists of the base URI y with
fragment id z.
A cold bike ride home in the wind and rain wakes one up.
Brian
Received on Wednesday, 1 November 2000 16:20:13 UTC