Modify axioms to fit OWL DL global constraints

[balhoff]

I changed two axioms that used min 1 with a non-simple property to be some restrictions instead. This is logically equivalent (which is why HermiT never complained). The first commit in this PR resaves using the latest OWL API, resulting in a large number of formatting changes. The second commit is the fix.

The remaining non-DL issue is a problem with the imported ontology-metadata file:

OWL 2 DL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Use of undeclared annotation property: <http://purl.org/dc/terms/license> in annotation [Annotation(<http://purl.org/dc/terms/license> "http://creativecommons.org/licenses/by/4.0/") in null]

[balhoff]

I added a commit to update the version IRI. After merging we should create a tag cdao-rel-2019-06-26.

[hlapp]

Great, thanks!

[hlapp]

FYI, created release: https://github.com/evoinfo/cdao/releases/tag/cdao-rel-2019-06-26

[balhoff]

Thanks!