BACM12 — Owl ontology incorrect restriction definitions

The translation of the MOF model to OWL is generating owl:onClass statements when the restriction quantification assertion does not require them, Some ontology editors and classifiers will ignore these statements, but not all.