Perpetual classification result due to inconsistent normalisation of transitive attributes

IHTSDO / snomed-owl-toolkit

The official SNOMED CT OWL Toolkit. OWL conversion, classification and authoring support.

Other

92 stars 19 forks source link

Perpetual classification result due to inconsistent normalisation of transitive attributes #1

Closed kaicode closed 6 years ago

kaicode commented 6 years ago

We have found an undesirable behaviour where in certain circumstances when using the new transitive properties the classification relationship normalisation process produces inconsistent results across multiple runs. This leads to relationships being created and retired again and again.

The issue seems to occur when a set of three inherited attributes can subsume each in a different way when using the class or transitive property hierarchies.

kaicode commented 6 years ago

Can not reproduce in the latest version (1.4.0).