Epoch end & duration
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: ClassAtom
  argument1: dur
  class predicate: Duration
body: DatavaluedPropertyAtom
  argument1: dur
  argument2: dur epoch
  property predicate: epoch
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: dur
  property predicate: hasDuration
body: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: end epoch
  property predicate: epoch end
body: BuiltinAtom
  arguments: start
  arguments: end epoch
  arguments: dur epoch
  builtin: subtract
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start
  property predicate: epoch start

Epoch start & duration
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: ClassAtom
  argument1: dur
  class predicate: Duration
body: DatavaluedPropertyAtom
  argument1: dur
  argument2: dur epoch
  property predicate: epoch
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: dur
  property predicate: hasDuration
body: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start
  property predicate: epoch start
body: BuiltinAtom
  arguments: res
  arguments: start
  arguments: dur epoch
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: res
  property predicate: epoch end

Meets(period)
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  argument2: http://purl.org/NET/c4dm/event.owl#p
  property predicate: hasPeriod
body: ClassAtom
  argument1: next
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  argument2: next
  property predicate: hasPeriod
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: next
  property predicate: meets
body: DatavaluedPropertyAtom
  argument1: next
  argument2: end
  property predicate: epoch start
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: end
  property predicate: epoch end

IsMetBy()
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  argument2: http://purl.org/NET/c4dm/event.owl#p
  property predicate: hasPeriod
body: ClassAtom
  argument1: previous
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  argument2: previous
  property predicate: hasPeriod
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: previous
  property predicate: isMetBy
body: DatavaluedPropertyAtom
  argument1: previous
  argument2: end
  property predicate: epoch end
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: end
  property predicate: epoch start

EndTime After midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: end
  property predicate: hasEndTime
body: DatavaluedPropertyAtom
  argument1: end
  argument2: end epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: end epoch
  arguments: 43200
  builtin: lessThan
body: BuiltinAtom
  arguments: end rel
  arguments: end epoch
  arguments: 86400
  builtin: add
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: res
  arguments: end rel
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: res
  property predicate: epoch end

EndTime Before midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: end
  property predicate: hasEndTime
body: DatavaluedPropertyAtom
  argument1: end
  argument2: end epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: 43200
  arguments: end epoch
  builtin: lessThan
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: res
  arguments: end epoch
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: res
  property predicate: epoch end

isEndedBy(event)
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: evt
  property predicate: isEndedBy
body: DatavaluedPropertyAtom
  argument1: evt
  argument2: start epoch
  property predicate: epoch
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start epoch
  property predicate: epoch end

isStartedBy(event)
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: evt
  property predicate: isStartedBy
body: DatavaluedPropertyAtom
  argument1: evt
  argument2: start epoch
  property predicate: epoch
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start epoch
  property predicate: epoch start

isEndedBy(event_type) After midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: evt type
  property predicate: isEndedBy
body: IndividualPropertyAtom
  argument1: c day
  argument2: evt
  property predicate: hasEvent
body: IndividualPropertyAtom
  argument1: evt type
  argument2: evt
  property predicate: sub-event
body: IndividualPropertyAtom
  argument1: evt
  argument2: end
  property predicate: hasBeginning
body: DatavaluedPropertyAtom
  argument1: end
  argument2: end epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: end epoch
  arguments: 43200
  builtin: lessThan
body: BuiltinAtom
  arguments: end rel
  arguments: end epoch
  arguments: 86400
  builtin: add
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: res
  arguments: end rel
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: res
  property predicate: epoch end

In period -> setIntensityTo%
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: c time
  class predicate: CurrentInstant
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#l
  class predicate: Street light
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#l
  property predicate: hasLamp
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  class predicate: Mode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes
body: DatavaluedPropertyAtom
  argument1: c time
  argument2: e now
  property predicate: epoch
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  argument2: http://purl.org/NET/c4dm/event.owl#p
  property predicate: hasPeriod
body: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: newIntensity
  property predicate: setIntensityTo
body: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start
  property predicate: epoch start
body: BuiltinAtom
  arguments: e now
  arguments: start
  builtin: greaterThan
body: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: end
  property predicate: epoch end
body: BuiltinAtom
  arguments: e now
  arguments: end
  builtin: lessThan
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#l
  argument2: newIntensity
  property predicate: hasIntensity

isEndedBy(event_type) Before midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: evt type
  property predicate: isEndedBy
body: IndividualPropertyAtom
  argument1: c day
  argument2: evt
  property predicate: hasEvent
body: IndividualPropertyAtom
  argument1: evt type
  argument2: evt
  property predicate: sub-event
body: IndividualPropertyAtom
  argument1: evt
  argument2: end
  property predicate: hasBeginning
body: DatavaluedPropertyAtom
  argument1: end
  argument2: end epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: 43200
  arguments: end epoch
  builtin: lessThan
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: res
  arguments: end epoch
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: res
  property predicate: epoch end

isStartedBy(event_type) After midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: evt type
  property predicate: isStartedBy
body: IndividualPropertyAtom
  argument1: c day
  argument2: evt
  property predicate: hasEvent
body: IndividualPropertyAtom
  argument1: evt type
  argument2: evt
  property predicate: sub-event
body: IndividualPropertyAtom
  argument1: evt
  argument2: start
  property predicate: hasBeginning
body: DatavaluedPropertyAtom
  argument1: start
  argument2: start epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: start epoch
  arguments: 43200
  builtin: lessThan
body: BuiltinAtom
  arguments: start rel
  arguments: start epoch
  arguments: 86400
  builtin: add
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: start abs
  arguments: start rel
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start abs
  property predicate: epoch start

isStartedBy(event_type) Before midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: evt type
  property predicate: isStartedBy
body: IndividualPropertyAtom
  argument1: c day
  argument2: evt
  property predicate: hasEvent
body: IndividualPropertyAtom
  argument1: evt type
  argument2: evt
  property predicate: sub-event
body: IndividualPropertyAtom
  argument1: evt
  argument2: start
  property predicate: hasBeginning
body: DatavaluedPropertyAtom
  argument1: start
  argument2: start epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: 43200
  arguments: start epoch
  builtin: lessThan
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: start abs
  arguments: start epoch
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start abs
  property predicate: epoch start

StartTimes After midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start
  property predicate: hasStartTime
body: DatavaluedPropertyAtom
  argument1: start
  argument2: start epoch
  property predicate: epoch
body: BuiltinAtom
  arguments: start epoch
  arguments: 43200
  builtin: lessThan
body: BuiltinAtom
  arguments: start rel
  arguments: start epoch
  arguments: 86400
  builtin: add
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: start abs
  arguments: start rel
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start abs
  property predicate: epoch start

After sunrise -> 0%
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: c time
  class predicate: CurrentInstant
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#l
  class predicate: Street light
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#l
  property predicate: hasLamp
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  class predicate: Mode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes
body: DatavaluedPropertyAtom
  argument1: c time
  argument2: e now
  property predicate: epoch
body: ClassAtom
  argument1: sunrise
  class predicate: Event
body: ClassAtom
  argument1: evt
  class predicate: Event
body: IndividualPropertyAtom
  argument1: c day
  argument2: evt
  property predicate: hasEvent
body: IndividualPropertyAtom
  argument1: sunrise
  argument2: evt
  property predicate: sub-event
body: IndividualPropertyAtom
  argument1: evt
  argument2: start
  property predicate: hasBeginning
body: DatavaluedPropertyAtom
  argument1: start
  argument2: http://purl.org/NET/c4dm/event.owl#e
  property predicate: epoch
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: res
  arguments: http://purl.org/NET/c4dm/event.owl#e
  arguments: e day
  builtin: add
body: BuiltinAtom
  arguments: e now
  arguments: res
  builtin: lessThan
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#l
  argument2: 0
  property predicate: hasIntensity

StartTimes Before midnight
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  class predicate: Period
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start
  property predicate: hasStartTime
body: DatavaluedPropertyAtom
  argument1: start
  argument2: start rel
  property predicate: epoch
body: BuiltinAtom
  arguments: 43200
  arguments: start rel
  builtin: lessThan
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: start abs
  arguments: start rel
  arguments: e day
  builtin: add
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#p
  argument2: start abs
  property predicate: epoch start

Friday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Friday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Friday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasFridayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Monday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Monday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Monday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasMondayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Saturday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Saturday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Saturday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasSaturdayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Sunday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Sunday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Sunday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasSundayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Thursday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Thursday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Thursday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasThursdayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Tuesday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Tuesday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Tuesday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasTuesdayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Wednesday mode
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: ClassAtom
  argument1: wm
  class predicate: WeeklyMode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: wm
  property predicate: undergoes
body: ClassAtom
  argument1: Wednesday
  class predicate: DayOfWeek
body: IndividualPropertyAtom
  argument1: c day
  argument2: Wednesday
  property predicate: dayOfWeek
body: IndividualPropertyAtom
  argument1: wm
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: hasWednesdayMode
head: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes

Before sunset -> 0%
type: Imp
is rule enabled: true
body: ClassAtom
  argument1: c day
  class predicate: CurrentDay
body: ClassAtom
  argument1: c time
  class predicate: CurrentInstant
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#l
  class predicate: Street light
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  class predicate: Zone
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#l
  property predicate: hasLamp
body: ClassAtom
  argument1: http://purl.org/NET/c4dm/event.owl#m
  class predicate: Mode
body: IndividualPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#z
  argument2: http://purl.org/NET/c4dm/event.owl#m
  property predicate: undergoes
body: DatavaluedPropertyAtom
  argument1: c time
  argument2: e now
  property predicate: epoch
body: ClassAtom
  argument1: sunset
  class predicate: Event
body: ClassAtom
  argument1: evt
  class predicate: Event
body: IndividualPropertyAtom
  argument1: c day
  argument2: evt
  property predicate: hasEvent
body: IndividualPropertyAtom
  argument1: sunset
  argument2: evt
  property predicate: sub-event
body: IndividualPropertyAtom
  argument1: evt
  argument2: start
  property predicate: hasBeginning
body: DatavaluedPropertyAtom
  argument1: start
  argument2: http://purl.org/NET/c4dm/event.owl#e
  property predicate: epoch
body: DatavaluedPropertyAtom
  argument1: c day
  argument2: e day
  property predicate: epoch
body: BuiltinAtom
  arguments: res
  arguments: start
  arguments: e day
  builtin: add
body: BuiltinAtom
  arguments: e now
  arguments: res
  builtin: lessThan
head: DatavaluedPropertyAtom
  argument1: http://purl.org/NET/c4dm/event.owl#l
  argument2: 0
  property predicate: hasIntensity

The Event ontology
type: Ontology
type: NamedIndividual
type: Thing
date: $Date: 2007/06/29 15:25:11 $
description: This ontology deals with the notion of reified events--- events seen as first-class objects. It only defines one concept: Event, which may have agents (actively participating), factors (passively participating), products, and a location in space and time. Regarding the ontological status of event tokens, they are seen as the way cognitive agents classify space/time regions
imports: time
version info: Revision: 1.01
maker: moustaki

Event
type: Class
comment: An arbitrary classification of a space/time region, by a cognitive agent. An event may have actively participating agents, passive factors, products, and a location in space/time.
term status: stable

Factor
type: Class
comment: Everything used as a factor in an event
disjoint with: Agent
equivalent class: Restriction
  on property: factor of
  some values from: Event
term status: stable

Product
type: Class
comment: Everything produced by an event
equivalent class: Restriction
  on property: produced in
  some values from: Event
term status: stable

agent
type: ObjectProperty
comment: Relates an event to an active agent (a person, a computer, ... :-) )
domain: Event
range: Agent
equivalent property: hasAgent
inverse of: agent in
term status: stable

agent in
type: ObjectProperty
equivalent property: agent in
term status: stable

factor
type: ObjectProperty
comment: Relates an event to a passive factor (a tool, an instrument, an abstract cause...)
domain: Event
equivalent property: hasFactor
inverse of: factor of
term status: stable

factor of
type: ObjectProperty
equivalent property: factor of
term status: stable

hasAgent
type: ObjectProperty
term status: deprecated

hasFactor
type: ObjectProperty
term status: deprecated

hasLiteralFactor
type: DatatypeProperty
equivalent property: literal factor
term status: deprecated

hasProduct
type: ObjectProperty
equivalent property: product
term status: deprecated

hasSubEvent
type: ObjectProperty
equivalent property: sub-event
term status: deprecated

agent in
type: ObjectProperty
term status: deprecated

factor of
type: ObjectProperty
term status: deprecated

literal factor
type: DatatypeProperty
comment: Relates an event to a factor which can be described as a literal. This property should not be used as-is, but should be subsumed by other, more specific, properties (like an hypothetic :weatherCelsius, linking an event to a temperature).
domain: Event
term status: stable

place
type: ObjectProperty
comment: Relates an event to a spatial object.
domain: Event
range: SpatialThing
term status: stable

produced in
type: ObjectProperty
equivalent property: produced in
term status: deprecated

produced in
type: ObjectProperty
inverse of: product
term status: stable

product
type: ObjectProperty
comment: Relates an event to something produced during the event---a sound, a pie, whatever...
domain: Event
term status: stable

pulsadis
type: NamedIndividual
epoch: 1577893727
type: Event

sub-event
type: ObjectProperty
comment: This property provides a way to split a complex event (for example, a performance involving several musicians) into simpler ones (one event per musician).
domain: Event
range: Event
term status: stable

time
type: ObjectProperty
comment: Relates an event to a time object, classifying a time region (either instantaneous or having an extent). By using the Timeline ontology here, you can define event happening on a recorded track or on any media with a temporal extent.
domain: Event
range: TemporalEntity
term status: stable