- From: Duane Nickull <dnickull@adobe.com>
- Date: Tue, 31 Jul 2007 12:37:33 -0700
- To: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, Azamat <abdoul@cytanet.com.cy>
- CC: "'SW-forum'" <semantic-web@w3.org>, <semantic_web@googlegroups.com>
Have to concur with John here. A recent activity I undertook was learning German. I became convinced in the process that the grammar rules were developed after the fact in a futile forensic architecture attempt. In a perfect world, the grammar logic would be done first then a language built to be a consistent reflection of those axioms and logic. This will never happen (aside from esperante). German developed and the semantics have been grounded in real world use for hundreds of years. Coming up with consistent rules that account for regional dialects, nuances and the (almost larger than set of rules) set of exceptions to the rules is a daunting task. Those problems in maintaining consistency in one language are insignificant in the scope of defining consistency across all languages. Nevertheless, good luck to those who enjoy a challenge. Duane On 7/31/07 11:40 AM, "John F. Sowa" <sowa@bestweb.net> wrote: > Azamat, > > Logic defines the semantics of any notation that is used > to define any version of ontology. > > AA> ... instead of Unifying Logic, it will be a Unifying Ontology >> (a single comprehensive model of reality) integrating as its parts >> the Web general vocabularies and ontologies > > If the notations for expressing the ontology are inconsistent, > there is no hope of making the ontology consistent. > > As I said, there are immense problems in maintaining the consistency > of large ontologies. If you believe that you can achieve consistency, > I wish you the best of luck. > > But if different parts or chapters of that ontology are expressed > in inconsistent versions of logic, the project is doomed from > the start. > > John > > > _________________________________________________________________ > Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ > Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ > Unsubscribe: mailto:ontolog-forum-leave@ontolog.cim3.net > Shared Files: http://ontolog.cim3.net/file/ > Community Wiki: http://ontolog.cim3.net/wiki/ > To Post: mailto:ontolog-forum@ontolog.cim3.net > -- ********************************************************************** "Speaking only for myself" Blog - http://technoracle.blogspot.com Community Music - http://www.mix2r.com My Band - http://www.myspace.com/22ndcentury Adobe MAX 2007 - http://technoracle.blogspot.com/2007/07/adobe-max-2007.html **********************************************************************
Received on Wednesday, 1 August 2007 13:04:45 UTC