The top level OWL property definitions