W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

RE: What is an Ontology? [was: daml-ont]

From: McBride, Brian <bwm@hplb.hpl.hp.com>
Date: Wed, 1 Nov 2000 21:19:04 -0000
Message-ID: <5E13A1874524D411A876006008CD059F239470@0-mail-1.hpl.hp.com>
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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC