[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, Ali Hashemi <ali.hashemi+ontolog@xxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Wed, 21 Jan 2009 16:28:10 -0600
Message-id: <ADF526C9-AE47-4AC9-9F7A-3D163CDB69D4@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)

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