Pat, with these clearly stated goals, I can see why the FO would require a
common vocabulary, syntax, even simple semantics for representing the
lattice of theories, even when we don't know what the lattice structure is.
But why a full ontology? Why is the rest necessary? (01)
And where can I download one? (02)
-Rich (03)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com (04)
Patrick Cassidy wrote: (05)
</> the function of the
common Foundation Ontology- (is) </>to provide a set of concept
representations that can
unambiguously describe different theories in logical form, whether or not
the theories themselves are inconsistent. (06)
The critical point is that is
possible to describe inconsistent theories using the same **agreed&&
inventory of basic terms. People do that every day, and the task of the FO
is to enable computers to do that too. (07)
The Foundation Ontology will record all of the meanings of concepts that
**can** be agreed upon by those who are developing information
representations that are intended for practical use, and who wish their
information to be in a form automatically interpretable by the computer
systems others use. (08)
</> ... the different theories can and will be catalogued. They will be
mutually comprehensible to the champions of the different theories, and to
any computer that uses the common foundation ontology, because they are
described using a common set of terms whose meaning is agreed on, and they
are represented in a computer using a common set of defining concept
representations whose meaning is agreed on. (09)
It is the (010)
ability to properly interpret different statements and theories, </>, that
is the function of the linguistic common defining
vocabulary, and will be the function of the common FO. (011)
</> (012)
Pat (013)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx (014)
_________________________________________________________________
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 (015)
|