Some names seem to be wrong for UNIQ and PROJ def
I create a diagram with two disconnected fact type from each other.
For instance: A Rel1 B and C Rel2 D
- OWL encoding creates four different roles Q1-Q4. That's ok
- PROJ-ARel1B-{1,2}, PROJ-ARel1B-{1}, PROJ-ARel1B-{2}, UNIQ-ARel1B-{1} and UNIQ-ARel1B-{2} are ok
- However, for PROJ-CRel2D-{1,2} the enconding also generated PROJ-CRel2D-{3}, PROJ-CRel2D-{4} and UNIQ-CRel2D-{3} and UNIQ-CRel2D-{4}. Moreover, it creates the following axioms:
SubClassOf(http://www.ormie.org/dlr/ontology#PROJ-CRel2D-{3} http://www.ormie.org/dlr/ontology#UNIQ-CRel2D-{3})
SubClassOf(http://www.ormie.org/dlr/ontology#PROJ-CRel2D-{4} http://www.ormie.org/dlr/ontology#UNIQ-CRel2D-{4})