[Top] [All Lists]

Re: [ontolog-forum] Constructs, primitives, terms

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Paul Tyson <phtyson@xxxxxxxxxxxxx>
Date: Wed, 07 Mar 2012 20:22:34 -0600
Message-id: <1331173354.5929.17.camel@tristan>
On Tue, 2012-03-06 at 00:04 -0500, John F. Sowa wrote:
> On 3/5/2012 8:52 PM, Paul Tyson wrote:
> > But beyond formal definitions, the "meaning" of URIs (like the "meaning"
> > of words) is established through deliberate and consistent use by
> > members of the community that agrees to use them. There are no
> > "accidental" URIs--every one is placed by some person for some
> > particular purpose.
> Yes.  But please note the conditions.  Even when the developers
> follow the W3C recommendations in every detail, they cannot escape
> the fundamental principles of logic.  Following is a copy of the
> conditions, which are typical of the kinds of systems that people
> need to make interoperable:
> > Base vocabulary V:  A collection of terms defined precisely at a level
> > of detail sufficient for interpreting messages that use those terms
> > in a general context C.
> >
> > System A:  A computational system that imports vocabulary V and uses
> > the definitions designated by the URIs.  But it uses the terms in
> > a context C' that adds further information that is consistent with C.
> > That info may be implicit in declarative or procedural statements.
> >
> > System B:  Another computational system that imports and uses terms
> > in V.  B was developed independently of A.  It may use terms in V
> > in a context C'' that is consistent with the general context C,
> > but possibly inconsistent with the context C' of System A.
> >
> > Problem:  During operations, Systems A and B send messages from
> > one to the other that use only the vocabulary defined in V.
> > But the "same" message, which is consistent with the general
> > context C, may have inconsistent implications in the more
> > specialized contexts C' and C''.
> This example uses the URIs and definitions in *exactly* the way
> the W3C recommends.  But if systems A and B use those common terms
> in contexts with independently developed detail, the "same" message
> can have inconsistent implications in the two systems.
> PT
> > If the purpose fails or goes amiss, someone must
> > take corrective action. The price of effective communication--with or
> > without URIs--is eternal vigilance, not rigid definitions. URIs lower
> > the price of effective communication because of the ease with which
> > their use can be monitored and corrected.
> Everybody agrees that globally unique IDs are useful.  But they are not
> magic.     (01)

Agreed. I never said they were--only that they were a better investment.
My only claim is that if you use URIs consistently for referring to
things, and RDF consistently for making assertions about things, you
have an easy road to improved communication.    (02)

>  People in every technical field have recognized the need for
> standardized identifiers with precise definitions for over a century.
> They have discovered the problems I mentioned above in their fields.
> If you can't solve local problems with locally unique identifiers,
> you won't solve them with globally unique IDs.
> If you don't see the problem, please study the above example and think
> about it.  URIs, by themselves, cannot solve that problem.  Much more
> is needed, and it involves version control and other constraints
> and/or conventions.    (03)

I admit I am stumped by "using a vocabulary in different contexts".
Perhaps you mean "with a different set of axioms"? If we agree to say
"ex:foo", but you put it in play with different axioms than I do, we
haven't gained anything. But if we agree that "ex:foo rdf:type
ex:bar." (as a fragment of RDF, backed by RDFS axioms), then we are
getting somewhere. Then if you say "ex:foo rdf:type ex:baz.", which is
unexpected in my "context", I will ask what you mean by that, and we
will get even farther along.    (04)

--Paul    (05)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (06)

<Prev in Thread] Current Thread [Next in Thread>