Accueil › e-Proceedings for JEM Workshops 1 and 2 › OpenMath Joint with JEM Workshop 2 › Publications › Dissemination

OMDoc Theory Graphs Revisited

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231456259 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231456259 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

We propose extensions and corrections of the syntax and semantics of OMDoc that are necessary to define a formal semantics of OMDoc theory graphs. Since OMDoc theories are also OpenMath content dictionaries, this provides a module system and rudimentary syntax checking for OpenMath.

Our proposal includes a new constructor for OpenMath objects that is needed in the context of this module system. Together with related, so far unpublished work, this contribution provides a formal semantics and full type checking for OMDoc theory graphs.

Author(s): 
Florian Rabe
Publication_details: 
8th OpenMath Joint with JEM Workshop, Linz Austria
Date: 
2007/07/27
Partner_node: 
Jacobs University
Fichier attachéTaille
rabe.pdf144.92 Ko
‹ Mathematical XML in Office 2007hautOpenMath: Symbols, CDs and Signatures ›