On 4/28/2011 12:22 PM, AzamatAbdoullaev wrote:
> Partitioning ontologies as formal and informal ones is rather confusing.  (01) 
Actually, it's very simple.  (02)
The definition I suggested:  (03)
 An ontology is a theory about what exists in some domain.  (04)
A formal ontology is one that is stated in some version of logic
or mathematics that is capable of supporting automated deduction.  (05)
An informal ontology is one that is described in ordinary language.
That is not a form that can be used for automated deduction.  (06)
> (N) stands for Normative Ontology  (07)
The decision to make any specification normative is orthogonal
to the nature of the specification or whether it is formalized.  (08)
That is a completely separate issue, which is determined by
some group that has the authority to make such decisions.  (09)
John  (010)
_________________________________________________________________
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  (011)