speedWithOvertaker
type: DatatypeProperty
domain: Vehicle
range: Datatype
  one of: 1
  one of: 2
  one of: 3
sub property of: speedWith

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: isInFrontOfOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: LastBeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: c
  class predicate: AfterGap
body: ClassAtom
  argument1: c
  class predicate: Lateral
body: ClassAtom
  argument1: c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: c
  argument2: faster
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: isInFrontOfOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: beforeTheGap
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: lastFirstBeforeAfter-TheGap
head: ClassAtom
  argument1: c
  class predicate: FirstAfterGap

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: hasSpaceAhead
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: hasSpaceBehind
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: hasSpaceLateral
head: ClassAtom
  argument1: c
  class predicate: Behind

A. J. Bermejo
type: Person
type: NamedIndividual

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: LastBeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Car2
type: Vehicle
type: NamedIndividual
before the gap: false
big speed difference: false
has space ahead: true
has space behind: false
has space lateral: false
is in front of overtaker: true
is overtaking: false
last first before after-the gap: true
speed with before the gap car: 1

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

speedWithBeforeTheGapCar
type: DatatypeProperty
type: AnnotationProperty
domain: Vehicle
range: Datatype
  one of: 1
  one of: 2
  one of: 3
sub property of: speedWith

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: beforeTheGap
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: lastFirstBeforeAfter-TheGap
head: ClassAtom
  argument1: c
  class predicate: AfterGap

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

speedWithBehindCar
type: DatatypeProperty
domain: Vehicle
range: Datatype
  one of: 1
  one of: 2
  one of: 3
sub property of: speedWith

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: isInFrontOfOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

speedWithAheadCar
type: DatatypeProperty
domain: Vehicle
range: Datatype
  one of: 1
  one of: 2
  one of: 3
sub property of: speedWith

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: LastBeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

J. J. Astrain
type: Person
type: NamedIndividual

Car4
type: Vehicle
type: NamedIndividual
big speed difference: false
has space ahead: true
has space behind: false
has space lateral: false
is in front of overtaker: false
is overtaking: true
speed with before the gap car: 3

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: isInFrontOfOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

A. Cordoba
type: Person
type: NamedIndividual

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: hasSpaceAhead
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: hasSpaceLateral
head: ClassAtom
  argument1: c
  class predicate: Ahead

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: LastBeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainDistanceWithCarInFront

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

J. Villadangos
type: Person
type: NamedIndividual

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: hasSpaceAhead
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: hasSpaceBehind
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: hasSpaceLateral
head: ClassAtom
  argument1: c
  class predicate: NoSpace

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Car1
type: Vehicle
type: NamedIndividual
before the gap: true
big speed difference: false
has space ahead: true
has space behind: false
has space lateral: false
is in front of overtaker: false
is overtaking: false
last first before after-the gap: true
speed with before the gap car: 2

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: LastBeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainDistanceWithCarInFront

Imp
body: ClassAtom
  argument1: c
  class predicate: Vehicle
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: isOvertaking
head: ClassAtom
  argument1: c
  class predicate: NotOvertaker

Vehicle
type: Class
subclass of: Restriction
  cardinality: 1
  on property: doesAction

Imp
body: ClassAtom
  argument1: c
  class predicate: NoSpace
body: ClassAtom
  argument1: c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: isInFrontOfOvertaker
head: ClassAtom
  argument1: c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Road Traffic Management
type: Ontology
type: NamedIndividual
type: Vocabulary
comment: An ontology to describe the management of the traffic
license: http://creativecommons.org/licenses/by/3.0/
description: A traffic ontology that describes the management of the traffic in a straight road with two lanes, both in the same direction. The situation is an ambulance trying to overtake all the other cars and they have to modify their speed and positions in order to able the ambulance to pass as fast as possible.
issued: 2012-01-21
modified: 2012-09-07
source: 10.1007/978-3-642-32524-3 14
preferred namespace prefix: traffic
version info: 1.0
history note: Ontology extracted from the paper Ontology Based Road Traffic Management. [Bermejo, A.J. et al. 2012]

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: LastBeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: hasSpaceLateral
head: ClassAtom
  argument1: c
  class predicate: Lateral

Car3
type: Vehicle
type: NamedIndividual
before the gap: false
big speed difference: false
has space ahead: true
has space behind: false
has space lateral: false
is in front of overtaker: true
is overtaking: false
last first before after-the gap: false
speed with before the gap car: 3

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: FirstAfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: beforeTheGap
body: DatavaluedPropertyAtom
  argument1: c
  argument2: false
  property predicate: lastFirstBeforeAfter-TheGap
head: ClassAtom
  argument1: c
  class predicate: BeforeGap

Imp
body: ClassAtom
  argument1: c
  class predicate: Vehicle
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: isOvertaking
head: ClassAtom
  argument1: c
  class predicate: Overtaker

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: isInFrontOfOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: AfterGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: isInFrontOfOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Vocabulary Space
type: Class
comment: A vocabulary space defines any relevant grouping of vocabularies e.g., designed for similar purposes or domains, or designed by the same publisher or the same project, etc. A vocabulary can belong to zero, one or more vocabulary spaces.
comment: Dublin Core properties isPartOf and hasPart are used to link a vocabulary to a vocabulary space

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: false
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithOvertaker
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftDecelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Ahead
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: BeforeGap
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Lateral
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBeforeTheGapCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: ClassAtom
  argument1: c
  class predicate: NoSpace
body: ClassAtom
  argument1: c
  class predicate: NotOvertaker
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: isInFrontOfOvertaker
head: ClassAtom
  argument1: c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Accelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 1
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: SoftAccelerate

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: NoSpace
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: MaintainSpeed

Imp
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: beforeTheGap
body: DatavaluedPropertyAtom
  argument1: c
  argument2: true
  property predicate: lastFirstBeforeAfter-TheGap
head: ClassAtom
  argument1: c
  class predicate: LastBeforeGap

Imp
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Behind
body: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Overtaker
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: true
  property predicate: bigSpeedDifference
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 3
  property predicate: speedWithAheadCar
body: DatavaluedPropertyAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  argument2: 2
  property predicate: speedWithBehindCar
head: ClassAtom
  argument1: http://www.sensormeasurement.appspot.com/ont/transport/traffic#c
  class predicate: Decelerate