[Top] [All Lists]

Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sat, 27 Feb 2010 15:35:59 -0500
Message-id: <4B89822F.703@xxxxxxxxxxx>
Azamat,    (01)

AA> Peeking all the week emails, there is no sensible progress with
 > John's proposal, and the argument is cycling like the laundry in
 > the washing machines.    (02)

There have been a series of emails on this and related threads, which
have addressed a series of issues related to that proposal.  Following
are excerpts from two of the most recent.    (03)

The first one confirms an agreement with Pat C on some issues that
we have been arguing about for years.  I believe that this approach
can enable us to collaborate effectively.    (04)

The second one is a promise that I made in response to Ron's complaint.
I am in the process of fulfilling that promise by collecting the various
notes, extracting the basic points and organizing them in a systematic
document.  I plan to post it before the end of this coming week.    (05)

That should give us a week to refine the issues before the Ontology
Summit on the Ides of March.    (06)

John    (07)

-------- Original Message --------
Subject: Re: [ontolog-forum] Foundation ontology, CYC, and Mapping
Date: Sat, 27 Feb 2010 08:58:21 -0500
From: John F. Sowa
To: [ontolog-forum]    (08)

Pat,    (09)

I'm delighted that we have found an area of agreement.    (010)

PC> John makes a point clear that I don't recall being explicitly
 > discussed previously.
 > Good point:    (011)

JFS>> The solution to these issues is very simple:
 >> 1. Adopt a hierarchy of theories in which the theories *never*
 >>    change.
 >> 2. Each modification of a theory by addition creates a new theory
 >>    that is more specialized than the original.
 >> 3, Each modification by deletion creates a new theory that is more
 >>    general than the original.
 >> 4. The URIs that point to the theories are always guaranteed to
 >>    point to a version that *never* changes.  Each modified version
 >>    must be a different theory in the hierarchy with its own URI.
 >> This approach ensures that users can always rely on a given URI
 >> to point to theory that never changes.    (012)

Yes.  This shows some ways of using the hierarchy in methodologies
for developing and relating ontologies.    (013)

PC> I have a little terminological addendum: those who are maintaining
 > a particular ontology through several changes will want to refer to
 > it by the same base name, plus version.  This of course is purely
 > terminological and doesn't affect John's points, nor the logical
 > implication.    (014)

I agree.  In fact, the same theory in the hierarchy might be part
of packages with different "brand names":  SUMO 9.6 and Dolce 7.3.    (015)

PC> For those applications that want to use a common FO for
 > interoperability there might be an issue if different versions
 > of the FO are used....    (016)

I agree.  But this is a practice that must be integrated with
the methodologies for using ontologies in various fields.
The hierarchy doesn't automatically solve the problems, but it
provides a framework in which they can be discussed.    (017)

PC> Another tactic for dealing with the possibly unintended results
 > of changes to remote ontology elements is to confine most reasoning
 > within "microtheories", as CYC does.    (018)

That is indeed an important approach, and it is one of the reasons
for using a generalization/specialization hierarchy.    (019)

PC> What I think most programmers will want is that the behavior
 > they desire for their programs not change due to changes in the
 > knowledge model, unless they specifically intend that change...    (020)

There are many such issues to be discussed.  I'd like to make the
following observations:    (021)

  1. The hierarchy of theories doesn't automatically solve all
     the problems.    (022)

  2. But by showing the interdependencies among theories, it can
     delimit the area (subhierarchy) that is affected by any change.    (023)

  3. And by showing all siblings of any given theory, it can help
     designers evaluate the alternatives.    (024)

John    (025)

-------- Original Message --------
Subject: Re: [ontolog-forum] Foundation ontology, CYC, and Mapping
Date: Fri, 26 Feb 2010 12:27:01 -0500
From: John F. Sowa    (026)

Ron,    (027)

RW> Perhaps if you started to work on a joint document on the way
 > to move forward, we might start making progress.    (028)

I agree that is essential.  I have been collecting some of the
recent contributions (by myself and others), which seem to be
converging on a consensus.  I plan to extract the relevant ideas,
suggestions, and recommendations and organize them in a document
that presents an emerging consensus in a systematic form.    (029)

I'm sure that document will raise a lot more discussion, but I
hope that it will lead to some progress...    (030)

In any case, I suggest that we focus on the points of agreement
on which collaboration is possible.    (031)

John    (032)

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (033)

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