Page History

...

The versioning is at the axiom level for a concept in the OWL refset. It means that there is only one effectiveTime for an axiom that might have multiple relationships. The changes to any relationships in the current editing tool will trigger an "update" of axiom with the latest effectiveTime. They are different to the versioning at individual relationship level in relationship files.

Any changes to the NNF should have a history of changes in the OWL refset. This will ensure that all entries in the NNF can be derived from the OWL refset except relationships between attributes and concepts explained in the section table 2.4.2. The NNF will still have the computed effectiveTime for each inferred relationship. The version of each relationship can be derived from the OWL refset but it is not true in reverse.

It is allowed to make direct modification to a published axiom without inactivation. The same UUID should be used with a new effectiveTime. Any modification to an axiom could potentially alter its meaning, it is not necessary to inactivate an axiom and create a new axiom. It is also not necessary to reinstate an inactivated axiom in the previous release when the same axiom is created as new expression. This approach can simplify the tooling and authoring process and it is different approach to the history of changes to individual relationship.

However, an axiom must be inactivated in the following situations:

...