# cribbed from
# 2002/12/cal/tzrules.n3
# Id: tzrules.n3,v 1.4 2003/03/14 16:39:50 connolly Exp 
#
# probably belongs under 2002/12/cal/ somewhere
#


# relate cyc's day of week types to
#  time:dayOfWeek indexes and to
#  ical abbreviations
# hmm... move this to a week.rdf KB?
#@@ cwm's time:dayOfWeek docs are busted

@prefix dt: <http://www.w3.org/2001/XMLSchema#> .
@prefix k: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.

@prefix : <weekDays#>.

k:Monday a k:DayOfWeekType; k:nameString "Monday";
  :index 0; :dayAbbr "MO".
k:Tuesday a k:DayOfWeekType; k:nameString "Tuesday";
  :index 1; :dayAbbr "TU".
k:Wednesday a k:DayOfWeekType;
  :index 2; :dayAbbr "WE"; k:nameString "Wednesday".
k:Thursday a k:DayOfWeekType;
  :index 3; :dayAbbr "TH"; k:nameString "Thursday".
k:Friday a k:DayOfWeekType;
  :index 4; :dayAbbr "FR"; k:nameString "Friday".
k:Saturday a k:DayOfWeekType;
  :index 5; :dayAbbr "SA"; k:nameString "Saturday".
k:Sunday a k:DayOfWeekType;
  :index 6; :dayAbbr "SU"; k:nameString "Sunday".


{ ?WHEN dt:date [ time:dayOfWeek [ is :index of ?DOW ] ] }
  => { ?WHEN a ?DOW }.