[jade] Datatype Properties
Generated with
OWLDoc