# calendar negotiation rules; e.g.
# to conclude "that invitation is inconsistent
#  with your current schedule".

# hmm... maybe use owl:imports or something
# to relate calendars to policies?

@keywords is, of, a.
@prefix : <calnego#>.

@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix cal: <http://www.w3.org/2002/12/cal/icaltzd#>.

@forAll Z.

{ ?X a cal:Vcalendar; log:semantics ?F.
  ?Y a cal:Vcalendar; log:semantics ?G.
  <calAx.n3> log:semantics ?CALKB.
  (?F ?G ?CALKB) log:conjunction [
#@@    log:supports { _:x owl:differentFrom _:x }
    log:conclusion [ log:includes  { Z owl:differentFrom Z } ]
  ].
} => { ?X inconsistentWith ?Y }.