@prefix dc: .
<> dc:description """post-hoc transcription of the constraints
in my travel request into N3""";
dc:source .
@prefix tp: .
@prefix rcs: .
@prefix contact: .
@prefix pa: .
dc:creator [ contact:fullName "Susan Westhaver" ];
rcs:id "Id: Travelpolicy.html,v 1.16 2000/09/07 23:49:19 susan Exp "
.
a tp:TravelRequest.
@prefix i: .
@prefix t: .
@prefix log: .
@prefix v: <#>.
this log:forAll v:itin, v:where,
v:t1, v:t2,
v:d1, v:d2, v:dn1, v:dn2,
v:cn.
# hmm... where do these go...
{ v:where i:airportName "KANSAS CITY INTL" }
log:implies { v:where t:iata "MCI" }.
{ v:where i:airportName "SAN JOSE" }
log:implies { v:where t:iata "SJC" }.
{
v:itin a i:Itinerary;
i:air
[ i:date v:d1;
i:AR [ i:place [ t:iata "SJC" ];
i:time v:t1;
];
i:carrier [ pa:company v:cn ];
];
i:air
[ i:date v:d2;
i:LV [ i:place [ t:iata "SJC" ];
i:time v:t2; ]
]
.
[ i:date v:d1; i:dayName v:dn1 ].
[ i:date v:d2; i:dayName v:dn2 ].
}
log:implies {
v:itin
<#arSJCOn> v:dn1;
<#arSJCAt> v:t1;
<#lvSJCOn> v:dn2;
<#lvSJCAt> v:t2;
<#onCarrier> v:cn.
}.
# spot problems w.r.t. rules agreed with my wife...
{
v:itin a i:Itinerary;
i:air
[ i:date v:d1;
i:LV [ i:place [ t:iata "MCI" ];
i:time v:t1;
];
].
v:d1 log:lessThan "2001-07-30".
}
log:implies {
v:itin <#leavesDaysTooSoon> v:d1;
<#at> v:t1.
}.
{
v:itin a i:Itinerary;
i:air
[ i:date v:d1;
i:AR [ i:place [ t:iata "MCI" ];
i:time v:t1;
];
].
v:d1 log:greaterThan "2001-08-01".
}
log:implies {
v:itin <#returnsDaysTooLate> v:d1;
<#returnAt> v:t1.
}.