ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Time representation

 To: "[ontolog-forum] " "John Black" Sun, 20 Jan 2008 23:21:43 -0500 <0b5d01c85be5\$212b3fa0\$6601a8c0@KASHORI001>
 ```On Sun. Jan 20, 2008, at 2:55 PM, John Sowa wrote:    (01) I have a few questions below about how this works.    (02) > The IKL language adds an expression type '(that p)' to > Common Logic, where p is arbitrary sentence that states > some proposition. That expression maps to a CG context > box of the following form: > > [Proposition: p'] > > where p' is the CG translation of p. > > Time does not apply directly to propositions, but to situations. > In CGIF (Conceptual Graph Interchange Format), you could write > > [Situation *s] (PTim ?s, "20 January 2008") (Dscr ?s [Proposition p']) > > This says that there exists a situation s whose point in time is > 20 January 2008 and whose description is the proposition p'. It > could be translated to the following statement in IKL: > > (exists (s Situation) > (and (PTim s "20 January 2008") (Dscr s (that p)))) >    (03) Some questions about how this works.    (04) 1. Is the interpretation of [Proposition: p'] true if p' is true and false otherwise?    (05) 2. What about the [Situation *s] graph? This is true if there in fact existed a situation on 20 January 2008 that made proposition p' true? But it says nothing about before or after, correct?    (06) 3. In the context framework you mentioned the other day, with the triples, you defined (T1,X,T2) as a T1 = a bounded text, X = a context, and T2 = axioms showing the relation of T1 to X. What would be an example of an axiom that relates p' to (PTim ?s, "20 January 2008")? Does this simple example need any?    (07) John Black    (08) _________________________________________________________________ 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    (09) ```
 Current Thread [ontolog-forum] Time representation, John F. Sowa Re: [ontolog-forum] Time representation, paola . dimaio Re: [ontolog-forum] Time representation, John F. Sowa Re: [ontolog-forum] Time representation, Sharma, Ravi Re: [ontolog-forum] Time representation, John Black <= Re: [ontolog-forum] Time representation, John F. Sowa Re: [ontolog-forum] Time representation, paola . dimaio Re: [ontolog-forum] Time representation, John F. Sowa Re: [ontolog-forum] Time representation, paola . dimaio Re: [ontolog-forum] Time representation, matthew.west Re: [ontolog-forum] Time representation, John F. Sowa Re: [ontolog-forum] Time representation, Pat Hayes Re: [ontolog-forum] Time representation, John F. Sowa Re: [ontolog-forum] Time representation, Duane Nickull Re: [ontolog-forum] Time representation, Pat Hayes