[Top] [All Lists]

Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Kingsley Idehen <kidehen@xxxxxxxxxxxxxx>
Date: Sat, 28 Jun 2014 16:01:03 -0400
Message-id: <53AF1EFF.2060406@xxxxxxxxxxxxxx>
On 6/28/14 7:53 AM, John F Sowa wrote:
Ed and Mark,

> The ternary predicate approach that John describes is viable,
> but clumsy.  The ternary predicate approach requires a different
> ternary predicate  if you want to specify location instead of time,
> or a quaternary predicate  to specify both, etc.
> This is why I claimed that IKL “that” (or Sowa “describes”) is
> necessary.   It is just plain unrealistic to expect every predicate
> to have variants  for time and location – not to mention other
> modifiers that English would  express using adverbs.
I agree that adding an extra argument to every relation is clumsy.
And I was *not* recommending it.  The points I wanted to emphasize
are theoretical, but with practical implications:

  1. Quantifying over time can be done in a purely FOL semantics.
     There is no need to introduce the 'that' operator and all
     the semantic issues it entails.  (I cited a book that uses
     a sorted FOL with time as one of the sorts.)

  2. If you want to factor out those references (to time, location,
     or whatever), you can introduce a purely-syntactic notion of

  3. That syntactic notion does not affect the semantics in any way,
     since every use of a context box (or other grouping markers)
     can be eliminated by a syntactic translation that adds an
     extra argument to every relation.

  4. After the translation in #3, you can use an ordinary Tarski-style
     model theory for the semantics.  There is no need to go to the
     more complex semantics of IKL in the model theory.

  5. But as a practical KR notation, you don't have to translate
     the context boxes (or other grouping markers) to the form
     with extra relations or arguments.

For the details of how to represent a kind of context, attach time
and place references to that context, and then eliminate the contexts
by a translation as above, see the following article:

    Laws, facts, and contexts

To represent a Tarski-style model, I use *nested graph models* (NGMs),
which have "context boxes" that allow graphs nested within graphs.
For the logic, I use conceptual graph notation, but you could use
just as well use CLIF notation.  (The article was published in 2003
while the CL standard project was in its early days.)

To see the differences between the three kinds of notations, Figure 9
shows a conceptual graph in its nested form with type labels.  Fig. 10
shows a nested graph model for which the denotation of Fig. 9 is true.

Then Fig. 11 shows the translation of the NGM in Fig. 10 to a "flat"
form with no nesting.  An 'isin' relation links a node for each relation
to a node that represents the context in which the relation occurs.
This flattened graph could be represented as an ordinary Tarski model.

Figures 9 to 11 have proposition nodes.  They raise issues that IKL
dealt with in more detail about 3 years later.  If you're not using
verbs like 'believe', you don't need proposition nodes.  Those boxes
could represent situations at particular times and places.



Great insights. So good, that you had me knocking up an ontology right in the middle of a World Cup match :-)


[1] http://kingsley.idehen.net/DAV/home/kidehen/Public/Linked%20Data%20Documents/endorsements.ttl -- Statements, Contexts, and Endorsements Ontology


Kingsley Idehen	      
Founder & CEO 
OpenLink Software     
Company Web: http://www.openlinksw.com
Personal Weblog 1: http://kidehen.blogspot.com
Personal Weblog 2: http://www.openlinksw.com/blog/~kidehen
Twitter Profile: https://twitter.com/kidehen
Google+ Profile: https://plus.google.com/+KingsleyIdehen/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen
Personal WebID: http://kingsley.idehen.net/dataspace/person/kidehen#this

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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>