v2.0.1

This release adds selected traffic signs (namely those relevant for the OMEGA library) and the has_small_distance property to A.U.T.O.

v2.0.0

This version does not contain SWRL rules nor temporal axioms in OWL2.

v1.0.0

Includes temporal aspects in DLs, various rules, and criticality phenomena.
Note that version 2 will break with some of these features.