[axiom] Datatype Properties

Generated with OWLDoc