[jade] Datatype Properties

Generated with OWLDoc