[Top] [All Lists]

Re: [ontolog-forum] quadruples talk

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sat, 08 Sep 2007 16:20:37 -0400
Message-id: <46E30415.4020802@xxxxxxxxxxx>
Peter,    (01)

I was just giving a few obvious examples, and the most
obvious ones are from prepositions and verbs.  I normally
use a more flexible mapping of natural languages to logic.    (02)

 > Mapping parts of speech to arities is only part of the issue...    (03)

The issues with NLs are immensely complicated. I just wanted
to cite a few examples to show that NLs very commonly represent
complex relationships with many more than two participants.
When you add further complications, that just emphasizes
the points I was trying to make.    (04)

 > RDF uses pure triples, and require many joins;
 > Topic Maps goes one better and uses triples with, additionally,
 > scope (0 to n times) assigned to the association arc and role(s)
 > assigned to the topic nodes connected by the arc; but still is
 > inadequate to express context - and although the arc type
 > (association type) can be reified, the scope cannot.
 > Can CL really do this? It may be consistent in handling
 > expressions (and not assuming or prejudicing any specific number
 > of arities) but it can never claim to be complete.    (05)

I have no idea what you mean by "complete".  If you mean
complete with respect to NLs, that is still a research issue,
since nobody has a clue about the limitations of NLs.    (06)

But if you mean, can CL represent anything in Topic Maps,
the answer is yes.  If you have any example you don't know
how to map to CL, we'd be happy to show you how.  Just two
conditions:    (07)

  1. Give the TM example.    (08)

  2. Explain in English every aspect of the significant information
     that is represented by each feature of the TM.    (09)

 From that we can give you a CL representation.    (010)

John    (011)

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    (012)

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