+ Fixed "Propert interval" -> "Proper interval" in label
+ Modified WOE TimeInterval to be subclass of OWL-Time Interval (instead
of OWL-Time DateTimeInterval)