Meetings/20080916

  1. Attendants
  2. Agenda
    1. OpenMath cdbase attribute
    2. import traversal

(return to JOMDocMeetings)

Attendants

  • Michael Kohlhase
  • Dimitar Misev
  • Christine Müller
  • Normen Müller

Agenda

OpenMath cdbase attribute

  • An OpenMath object is always a triple: g/t/n. However, in an XML encoding the cdbase attribute is optional, i.e. inherited from parent elements. Inheritance within an OpenMath object outside an OMDoc document is determined by the parent elements, in particular, by the OpenMath root element (OMOBJ). Inheritance within an OpenMath object inside an OMDoc document is determined by the respective import statements. However, in case an OpenMath object has a cdbase attribute with value a and an inherited one b --- inherited by an import statement --- an error is thrown. An OpenMath object without any cdbase attribute causes an error as well. Details of these behaviors are specified in  The OpenMath Standard 2.0
  • Related tickets: #76, #84

import traversal

  • We determined that import have to traversed in order to get the notation work-flow up and running.
  •  OpenMath cdbase attribute is a prerequisite
  • We recommended to encapsulate required URI parsing due to future changes wrt. MMT-URIs
  • Related tickets: #84