concept without a sufficient definition in the necessary normal form distributed in the relationship.



Change Notices

  • Changes introduced in the July 2018 release of the International Edition allow assertions to be represented as axioms in the OWL axiom reference set file. This will allow concepts to be defined by multiple sufficient definitions, some of which may contain assertions that are not necessarily true.

  • Following these changes a concept will be marked as primitive unless it is sufficiently defined by relationships.  Although, in some cases, the OWL axioms may provide a sufficient definition that cannot be fully represented as relationships.

Related Links

  • No labels