[Top] [All Lists]

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

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Patrick Cassidy" <pat@xxxxxxxxx>
Date: Fri, 19 Feb 2010 14:06:56 -0500
Message-id: <00dc01cab196$b489c920$1d9d5b60$@com>
   I think we are agreed on that point:    (01)

> MW: You may recall that in a couple of posts I have been talking about
> what I called "abstract theories" being theories that were independent of
> 3D/4D (for example) but could be combined with either, and of course 3D
> 4D themselves. I think this is where your ambition of a "Foundation
> Ontology" properly lies in terms of being the elements that other
ontologies can
> be built out of. The difference I see from what I have been interpreting
> your proposal to be is that it seems to me that you have been proposing a
> specific upper ontology as part of your FO. What I am suggesting you
> develop here would not have this, but would include what was effectively
> abstract terms needed by any upper level ontology. These could be
> abstracted from the existing work available.
> MW: Other things you would need to do to support interoperability would
> be to develop mappings between major competing theories, such as (but  far
> from limited to) 3D/4D.
> MW: Is this compatible with your vision?
Yes, I expect that the practical goal of translating among different
theories with incompatible *models* such as 3D/4D can be accomplished in
most cases, as Pat Hayes has shown for (at least one version) of 3D and 4D.
The models themselves may be contradictory (e.g. endurantist: "3D objects
exist, 4D objects don't" vs. perdurantist "4D objects exist, 3D objects
don't") but these models can be represented as extension theories of the FO;
the models themselves are not used directly in reasoning, even though
assertions about real world based on those models are used (I hope the
distinction isn't too obscure)- it is the specific assertions about
real-world things that can be translated accurately.    (02)

So yes, the kinds of terms in the FO that provide this translation ability
will be more abstract than the average term, but I expect that "Person"
(perhaps several definitions) will also be included, though Persons are not
at all abstract.  I don't know exactly how many such basic concepts there
are but I expect at least several thousand.    (03)

Pat    (04)

Patrick Cassidy
cell: 908-565-4053
cassidy@xxxxxxxxx    (05)

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    (06)

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