alignment to API4KB OntoIOp Terminology
formatting
removed duplicates
more precise restrictions (thanks to API4KB OntoIOp Terminology
more "ontology → OMS"