@prefix dc: .
<> dc:description """filter the poolGame-kb for relevant data""".
@prefix log: .
@prefix ical: .
@prefix ctrans: .
@prefix foaf: .
@prefix : .
@prefix r: .
@prefix v: .
@prefix t: .
@prefix ct: .
@prefix nav: .
@prefix cg: .
@prefix cs: .
@prefix util: .
this log:forAll v:grp, v:e, v:text, v:dt, v:who, v:name, v:hhmm, v:num,
v:where, v:where2, v:day, v:hh, v:mm, v:x.
{
v:e.
v:e ical:DESCRIPTION v:text;
ical:ATTENDEE v:who;
ical:DTSTART [ util:hour v:hh; util:minute v:mm ];
ct:startingDate v:day.
v:who foaf:name v:name.
v:day t:yyyy_mm_dd v:dt.
}
log:implies
{
v:day t:yyyy_mm_dd v:dt;
:events v:e.
v:e :who v:name;
:whenHH v:hh;
:whenMM v:mm;
:what v:text
}.
{
cg:groupMembers v:who;
cs:inRegion v:where.
v:e ctrans:transportees v:who;
ct:endingDate v:day;
ctrans:toLocation v:where2;
nav:AR [ nav:time v:hhmm ];
nav:flightNum v:num.
v:who foaf:name v:name.
v:where2 cs:inRegion v:where.
v:day t:yyyy_mm_dd v:dt.
}
log:implies
{
v:day a ct:CalendarDay; t:yyyy_mm_dd v:dt;
:flights v:e.
v:e :who v:name;
:whenHHMM v:hhmm;
:arFlt v:num.
}.
{
cg:groupMembers v:who;
cs:inRegion v:where.
v:e ctrans:transportees v:who;
ct:endingDate v:day;
ctrans:fromLocation v:where2;
nav:AR [ nav:time v:hhmm ];
nav:flightNum v:num.
v:who foaf:name v:name.
v:where2 cs:inRegion v:where.
v:day t:yyyy_mm_dd v:dt.
}
log:implies
{
v:day a ct:CalendarDay; t:yyyy_mm_dd v:dt;
:flights v:e.
v:e :who v:name;
:whenHHMM v:hhmm;
:lvFlt v:num.
}.