KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — LinkObject is irreflexive

Open Closed All
  • Key: KERML-45
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    The libraries have LinkObject disjoint with SelfLink, which classifies all links that have the same thing at both ends, preventing LinkObject from linking things to themselves.
  • Reported: KerML 1.0a1 — Thu, 27 Apr 2023 18:58 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Remove disjointness of SelfSameLifeLink from Occurrence

    Disjointness of LinkObject from SelfLink was removed by KERML-253 resolving KERML-231, but this was only because it was redundant, due to SelfLink specializing SelfSameLifeLink, which is declared disjoint with Occurrence (a generalization of Object). This resolution removes the disjointness of SelfSameLifeLink from Occurrence to enable (binary) link objects to identify the same thing on both ends.
  • Updated: Tue, 1 Jul 2025 15:01 GMT