ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] cyclic and acyclic definitions

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Tue, 21 Apr 2009 15:46:50 -0400
Message-id: <49EE22AA.2060605@xxxxxxxxxxx>
Bart,    (01)

 > John, what I meant by formalizing, and I thought you meant
 > as well, was agreeing on some standard to create and interpret
 > ontologies, the topic of the Summit.  Could you please clarify
 > what you meant.    (02)

The English word 'formalization' literally means 'make formal'.    (03)

Since many of the discussions in this forum have contrasted
formal definitions (represented in logic) with informal
definitions (stated in ordinary language), I had assumed
that you were talking about the process of producing formal
logic-based definitions instead of informal English definitions.    (04)

In discussions about the process of producing a standard, it
might be clearer to use the word 'standardization', which would
be more directly related to standards.    (05)

John    (06)



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

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