Re: temporal relations

Ok, Dan Connolly pointed out [1] that I should have used  
log:includes. My original formula stated that if I find a graph that  
contains only { :Obj  now:temperature :Temp } then I can deduce what  
follows, whereas I meant to say that it should just contain that  
statement. Here is the correct N3.

@prefix now: <http://eg.org/now#> .
@prefix : <http://eg.org/meta#> .
@prefix god: <http://eg.god/ont#> .
@prefix tr: <http://www.isi.edu/~pan/damltime/time-entry.owl#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

{ <#blue> now:temperature "22" .
   <#white> now:temperature "21" .
   <#red> now:temperature "23" . }
                 :fetched [ :at "2006-03-23T10:00:00Z";
                                        :from <http://people.gov.org/ 
ssn/123456789> ] .

@forAll :Obj, :Temp, :FetchTime, :Fmla .
{ :Fmla :fetched [ :at :FetchTime ];
         log:includes { :Obj now:temperature :Temp } .  }
         => { :Obj god:timeslice  
[ tr:inCalendarClockDataType :FetchTime;
                               god:temperature :Temp ] .  } .

If you run cwm you get the statements I was looking for:

hjs@bblfish:1$ cwm time.n3 --think --filter=time.n3
#[snip]
      @prefix : <http://eg.god/ont#> .
      @prefix time: <#> .
      @prefix tr: <http://www.isi.edu/~pan/damltime/time-entry.owl#> .

     time:blue     :timeslice  [
              :temperature "22";
              tr:inCalendarClockDataType "2006-03-23T10:00:00Z" ] .

     time:red     :timeslice  [
              :temperature "23";
              tr:inCalendarClockDataType "2006-03-23T10:00:00Z" ] .

     time:white     :timeslice  [
              :temperature "21";
              tr:inCalendarClockDataType "2006-03-23T10:00:00Z" ] .


So I like Dan statement on swig: " the more global the context in  
which you state things, the more reusable the info", which is why  
having relations that are so dependent on context are less re- 
useable, and should be avoided, or at least clearly marked as such.

Henry Story

[1] http://chatlogs.planetrdf.com/swig/2006-03-24.html#T18-13-26

On 23 Mar 2006, at 11:30, Henry Story wrote:
> [snip]
> v-----time.n3--------------------------------v
> @prefix now: <http://eg.org/now#> .
> @prefix : <http://eg.org/meta#> .
> @prefix god: <http://eg.god/ont#> .
> @prefix tr: <http://www.isi.edu/~pan/damltime/time-entry.owl#> .
>
> { <#blue> now:temperature "22" .
>   <#white> now:temperature "21" .
>   <#red> now:temperature "23" . }
>                 :fetched [ :at "2006-03-23T10:00:00Z";
>                                        :from <http://people.gov.org/ 
> ssn/123456789> ] .
>
> @forAll :obj, :t, :fetchtime .
> { { :obj now:temperature :t } :fetched [ :at :fetchtime ] . }
>         => { :obj god:timeslice  
> [ tr:inCalendarClockDataType :fetchtime;
>                               god:temperature :t ] .  } .
> ^-------time.n3-------------------------------^
>
>
> Any ideas on what is wrong with my n3?
>
> Also if this is does work, one could create a vocabulary to  
> annotate different types of indexical properties, so that one could  
> then create rules that could automatically convert them to  
> mergeable graph structures.
>
>
> Henry
>
>
> [1] http://blogs.sun.com/roller/page/bblfish/20060320
> [2] followign the definitions given at http://www.w3.org/2000/10/ 
> swap/doc/Reach