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. (01)
Those problems in maintaining consistency in one language are insignificant
in the scope of defining consistency across all languages. (02)
Nevertheless, good luck to those who enjoy a challenge. (03)
Duane (04)
On 7/31/07 11:40 AM, "John F. Sowa" <sowa@xxxxxxxxxxx> wrote: (05)
> 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@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (06)
--
**********************************************************************
"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
********************************************************************** (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|