Thanks John, I'll have another read of this paper in the light of this
conversation, which has thrown up some practical thoughts and examples
in this area. (01)
Mike (02)
John F. Sowa wrote:
> Dear Matthew, Pat, Ali, and Mike,
>
> MW> ... there is no reasonable chance that we can create an ontology
> > that is right first time, or that at any time after does not have
> > some mistake or improvement that can be made. The best we can hope
> > for is that as it is used and reused, more of the bugs are discovered.
>
> Yes. IBM's euphemism for any product that will never change is
> 'functionally stabilized' -- i.e., it is obsolete and no new version
> will ever be produced.
>
> MW> Fortunately, the relatively straightforward technique of version
> > management comes to our aid. This may be something that needs to
> > be added to a lattice of theories repository that holds the versioning
> > meta-data between different theories that represent the different
> > stages of development.
>
> The lattice of theories provides an excellent basis for versioning.
> The theories in the lattice never change. But each change to a
> theory creates a new theory that is a generalization, specialization,
> or sibling of the previous theory. The metadata that shows how the
> theories are related would also include its provenance -- time and
> date of creation, by whom, by which tools, and from which starting
> theories. Those starting theories would always be stored somewhere
> in the hierarchy. They may be older versions or some collection
> of versions and modules that were combined and modified.
>
> MW> The downside is that change in the core of the FO may have an
> > impact on the mappings to the FO, which has a cost. The real danger
> > is that the cost of changing those mappings leads to the improvements
> > being rejected.
>
> I consider the term Foundation Ontology or FO to be an honorary marker,
> such as a gold medal in the metadata. From the point of view of the
> lattice, the FO is just one more theory, which is related to the others
> by the same basic operators. A change to the FO consists of taking
> away its medal and bestowing it upon a different theory in the lattice.
>
> MW> I don't see a better strategy though.
>
> Nor do I. And so far, the only alternative has been the *hope* that
> the FO might be so good that it would never lose its gold medal.
>
> PC> But mapping every ontology to the FO seems to me to take a lot less
> > effort than generating multiple mappings between the ontologies of
> > that set.
>
> Creating the mappings is automatic. It does not require any extra
> effort. The basic operators used to *create* a theory are the same
> ones that determine how the theory is related to other theories:
> either combining other theories or adding, deleting, or modifying
> individual axioms. The sequence of steps in its creation determines
> how a theory is related to its starting theories.
>
> And note that we distinguish the implemented *hierarchy* as a subset
> of the purely theoretical and infinite *lattice*. There is no
> requirement for the hierarchy to specify all possible relationships.
> But whenever anybody discovers a relationship, there is always a
> place to record it.
>
> PC> I emphasize that the goals of mapping between domain ontologies
> > and using the FO are not incompatible, I just believe that there
> > are things you can do with an FO that are not possible or not
> > practical by trying to map among multiple ontologies without
> > generating an FO.
>
> I have no quarrel with treating the FO as a recommended or "gold medal"
> theory. But the point I keep emphasizing is that all the possible
> operations with the FO are exactly the same as the operations that
> can be performed with any other theory in the hierarchy.
>
> The beauty of this approach is that every business or industry can
> have its own specialized FO (SFO), which is a specialization of the
> general FO that has additional axioms and definitions used for that
> industry.
>
> In fact, it's quite possible or even likely, that the SFO for some
> businesses might be inconsistent in some ways with the general FO
> -- for example, one might have a 4D and the other a 3D view of time
> and space.
>
> Fortunately, the lattice comes to our rescue by giving us a way to
> determine the least common generalization of the general FO with the
> incompatible SFO. That common generalization defines the areas on
> which interoperability is possible.
>
> AH> I agree the two approaches aren't conflicting, i just wanted
> > to emphasize that an FO is NOT NECESSARY for large scale
> > interoperability. It might be useful, but it is not necessary.
>
> I agree. Pat has high hopes that an outstanding FO might someday
> be discovered. There's no harm in searching for it. But the most
> likely place to find it is among the theories in the hierarchy.
>
> So far, the best recommendation is to consider the FO as a theory
> that has been awarded a gold medal for success in some competition.
> And the best competition is the marketplace of ideas: Is there
> some common generalization in the hierarchy of theories that has
> proved to be fruitful for spawning more specialized theories
> for a wide range of applications?
>
> MB> Perhaps some other model relationship, other than generalization
> > / specialization, is needed for ontology interoperation.
>
> Another operator is what I call analogy: taking one theory and
> renaming some of the labels (i.e. names of relations, types, or
> individuals) to create another theory that is isomorphic with
> the first.
>
> For examples, see Figure 4 near the end of the following paper:
>
> http://www.jfsowa.com/pubs/dynonto.htm
> A dynamic theory of ontology
>
> John
>
>
> _________________________________________________________________
> 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
>
>
>
> (03)
--
Mike Bennett
Director
Hypercube Ltd.
89 Worship Street
London EC2A 2BF
Tel: +44 (0) 20 7917 9522
Mob: +44 (0) 7721 420 730
www.hypercube.co.uk
Registered in England and Wales No. 2461068 (04)
_________________________________________________________________
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 (05)
|