ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] FW: Lattice of theories

To: "sean.barker@xxxxxxxxxxxxx" <sean.barker@xxxxxxxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Thu, 15 Jan 2009 15:59:59 -0500
Message-id: <496FA3CF.2070804@xxxxxxxxxxx>
Sean,    (01)

All the ontologies that have been proposed so far have been
collections of statements (often called axioms) in some
version of logic.    (02)

 > I have noted the use of standard data models to exchange
 > incompatible data - incompatible not because the data
 > structures were different, but because the groundings
 > of the model were different.    (03)

I don't know what you mean by the word "grounding" or the
term "data model".    (04)

If by grounding, you mean some part of the world for which
some set of statements (or axioms) are true, then two
identical sets of statements would be true of exactly the
same parts of the world.  Therefore, identical axioms would
have identical grounding.    (05)

I don't know whether there is some confusion of terminology
or a true disagreement.    (06)

John    (07)



_________________________________________________________________
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    (08)

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