Agenda

• Action items from last meeting
  • None
• Triage of gist 14.1.0 issues
  • Issue #1381: Domains and ranges on arithmetic predicates
  • Subclass materialization issues:
    • Issue #1263: Include full DL inferencing on build
    • Issue #1346: Add inferences to gistCore rather than separate file
  • Issue #1209: Simplify magnitude restrictions (Dylan)
  • Issue #1288: System goals

Issues Reviewed

Refer to comment threads on issues for discussion points and conclusions.

• Subclass materialization issues:
  • Issue #1263: Include full DL inferencing on build
  • Issue #1346: Add inferences to gistCore rather than separate file
• Issue #1209: Simplify magnitude restrictions (Dylan)
• Issue #1288: System goals

Action Items

None.

Next Meeting

Monday, January 26, 2026, 9:00am MT