KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Spatial links can be occurrences

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

    Clause 9.2.4.1 (Occurrences Overview), under Temporal and Spatial Associations, describes temporal/spatial relations between occurrences, such as HappensBefore/Outside and HappensDuring/InsideOf, then says:

    The Links above to do not take up time or space, they are temporal and spatial relations between things that do (they are disjoint with LinkObject, see 9.2.5.1).

    but

    • Some links can be occurrences without being link objects (LinkObject specializes of Link and Object, but does not intersect them).
    • Spatial links are not disjoint with LinkObject or Occurrence in the libraries.
  • Reported: KerML 1.0a1 — Thu, 27 Apr 2023 18:44 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Add SpaceLink, disjoint from Occurrence

    Spatial links are not disjoint with LinkObject or Occurrence in the libraries.

    Add association Occurrences::SpaceLink disjoint from Occurrence (corresponding to InsideOf and OutsideOf (corresponding to HappensLink generalizing HappenDuring and HappenBefore). This will make spatial links disjoint from LinkObject also, see KERML-231.

    Some links can be occurrences without being link objects (LinkObject specializes of Link and Object, but does not intersect them).

    This is reported in KERML-46
  • Updated: Tue, 1 Jul 2025 15:01 GMT