ONS introduces illegal punning on properties

[matentzn]

According to the OWL specification an property can never be an annotation and an object property at the same time.

robot merge -I http://purl.obolibrary.org/obo/ons.owl -I http://purl.obolibrary.org/obo/ro.owl validate-profile --profile DL

Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002434
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0000052
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002018
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002233
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002248
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002434
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002437
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002501
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002506
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002507
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002509
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002574
Cannot pun between properties: <http://purl.obolibrary.org/obo/RO_0002595

Furthermore, you are using an illegal restriction, probably imported from ERO:

Use of non-simple property in a restriction: ObjectExactCardinality(0 <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/ERO_0000347>) [SubClassOf(<http://purl.obolibrary.org/obo/ONS_0000083> ObjectExactCardinality(0 <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/ERO_0000347>)) in OntologyID(OntologyIRI(<https://raw.githubusercontent.com/enpadasi/Ontology-for-Nutritional-Studies/master/ons.owl>) VersionIRI(<null>))]

It is very important to fix this, as this severely hampers integration with ONS for ontologies such as ECTO: I basically have to forcefully delete dozens of axioms from ONS before being able to merge it in.

[ddooley]

@FrancescoVit similarly, do you need a hand to address this?

[FrancescoVit]

@matentzn I'll likely manually remove the duplicates annotation properties, but I am trying to figure out if the problem comes from the main file, or from the various import. Try to fix as soon as possible

@ddooley thank you very much, I hope to be able to figure out the problem and fix it, but will gladly accept the help if i should fail :D

[FrancescoVit]

should be fixed now, still have the problem of multiple labels as in #15 and #34

[dillerm]

I'm currently seeing this issue for http://purl.obolibrary.org/obo/RO_0001900, but not for the others listed.

[matentzn]

Did you try:

robot merge -I http://purl.obolibrary.org/obo/ons.owl -I http://purl.obolibrary.org/obo/ro.owl validate-profile --profile DL

[dillerm]

No, this was flagged by HermiT when I ran the reasoner.

[ddooley]

Hermit runs fine on /src/ontology/ons-edit.ofn so I think we can close this. It will work with next release