Re: [ontolog-forum] Next steps in using ontologies as standards

[Pat Hayes <phayes@xxxxxxx>]

On Jan 21, 2009, at 1:30 PM, Ali Hashemi wrote:

Anyhow, I have three questions for the community:

1) Would people agree that there is a large body of FOL theories that are reused and common to many others? (Not necessarily in the upper ontology sense of concepts being reused, but rather that there are model theoretic structures being reused).

You have to explain what you mean here before we can answer. What does it mean to "re-use" a model-theoretic structure? For that matter, what does it mean to "use" a model-theoretic structure? 

Pat Hayes

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