|From:||William Frank <williamf.frank@xxxxxxxxx>|
|Date:||Tue, 13 May 2014 19:01:55 -0400|
On Tue, May 13, 2014 at 3:54 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
Doug, Aldo, Kingsley, and Ed,
And here is how this would be expressed, ignoring the irrelevancies of the symbols used, in the kinds of extensions of predicate logic with iota and lambda operators etc. that have been explored by mathematically oriented linguists.
For every Squid s, there exist exactly 10 Tentacles t, such that s has-part t.
It may be only me, but I don't think you have to become familiar with anything new to understand this formulation. This enables a gentle transition between a natural language and a structured version of that language to what a computer would be most happy dealing with. The syntax, semantics, and proof theory for this family of languages has 100 years of work and scholarship behind it.
It looks to me, though, that CG and OWL *both* want to attach quantifiers directly to classes, instead of to free variables, just as the Object Constraint Language does. This is one of the many quite awkward consequence of thinking that everything that can be said can be easily said about a class or a relation between classes.
Why start at the **other** end of the stick, with a reinvention of this wheel that ignores the discovery of variables, and decide which is 'more' reable, and which to use? Because the Procrustian bed of Linked Documents can't deal with it? (Which I very much doubt.)
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Visual Notation for OWL Ontologies (VOWL), Kingsley Idehen|
|Next by Date:||Re: [ontolog-forum] Visual Notation for OWL Ontologies (VOWL), Barkmeyer, Edward J|
|Previous by Thread:||Re: [ontolog-forum] Visual Notation for OWL Ontologies (VOWL), Kingsley Idehen|
|Next by Thread:||Re: [ontolog-forum] Visual Notation for OWL Ontologies (VOWL), Barkmeyer, Edward J|
|Indexes:||[Date] [Thread] [Top] [All Lists]|