[Top] [All Lists]

[ontac-forum] lattice of ontology

To: "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
From: "Paul S Prueitt" <psp@xxxxxxxxxxxxxxxxxx>
Date: Wed, 21 Dec 2005 08:55:53 -0700
Message-id: <CBEELNOPAHIKDGBGICBGKEHGHAAA.psp@xxxxxxxxxxxxxxxxxx>

I changed the name of this thread from    (01)

Theories, Models, Reasoning, Language, and Truth    (02)

because the key concern/excitment I have is that the pure mathematical
concept of a Boolean lattice might be revealed in a simple fashion.    (03)

Your note opens onto such a simple explanation.    (04)

http://colab.cim3.net/forum/ontac-forum/2005-12/msg00127.html    (05)

Lattice theory in physics, particularly in thermodynamics, does not have the
same properties as does the Boolean lattice (abstracted from the ( U,
subset, smallest element, largest element ) ) .  Lattice theory (as in
thermodynamics) is something I know a little about since I published in this
area as early as 1987.    (06)

The ordered quadruple designation, you use, for the Boolean algebra is
incomplete, but this is not important technical issue.    (07)

The ordering relationship and the definition of U is the critical issue, in
terms of ontology construction and entailments.  But we need to look closely
at what a Boolean lattice is and what is proposed as a lattice of theories.
What is the binary relationship in this lattice of theories?    (08)

It seems to some of us that one needs to be able the talk separately about
the definition of the elements of an ontology, and that these elements
should be in all cases "concepts".    (09)

The entailment of a set of concepts is then in two parts:    (010)

inferential entailment:  how the concepts are used by some type of machine
or formal inference    (011)

structural entailment: how the concept referent sits inside of specific
situations.    (012)

So if one starts with a "universal set" as a set of concept representations,
or taxa in structural bioinformatics, we can then impose an ordering
relationship to organize this universal set into a tree like structure
(taxonomy).  This does not produce a Boolean lattice, it just produces a
tree (a specific type of graph).    (013)

So how are lattice of theories developed?    (014)

Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (015)
<Prev in Thread] Current Thread [Next in Thread>