Ticket #1531 (assigned enhancement)
sTeX support for flexible metadata (MOLE)
|Reported by:||kohlhase||Owned by:||kohlhase|
|Priority:||normal||Milestone:||sTeX 1.0 release|
|Cc:||clange, ako||Blocked By:|
|Blocking:||Due to close:||YYYY/MM/DD|
|Include in GanttChart:||no||Dependencies:|
|Due to assign:||YYYY/MM/DD|
We have published the idea that we can use OMDoc (and thus sTeX) for ontologies. In the Flexiform paper and the FormalSafe? case study we describe sTeX as a vocabulary specification language writing OMDoc1.3 flexible metadata annotations conveniently. Right now, we can only do this by writing custom *.sty and *.ltxml files for external packages.
It should be possible to internalize this into sTeX, just as \symdef internalizes the creation of semantic symbol macros into sTeX and \termdef for semantic concept macros.
This would allow us to bring sTeX light to a whole new level.