goal: create exemplars of what is feasible for formalization of individual scientific documents

Published 2021-08-14T11:08:00Z by Physics Derivation Graph

There's a lot of knowledge management decorations available for a single document: hyperlinks, semantic tagging, ontologies, controlled natural languages, CAS validation, theorem provers. What would it take to put them all together in one Physics article?

The purpose of this post is to provide an example of what that process is like for a document. Starting from an unadorned .tex file that compiles to PDF, the

sTeX system enables embedding of structural semantics into documents. sTeX is a “semantic version of LaTeX” that allows to use special macros to encode mathematical meaning explicitly.

OpenMath, ContentML, and sTex are in the category of "content-oriented markup languages for mathematics on the web." [citation]

The point of adding sTex decorations is to aid in the creation of OMDoc

"OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. The formal part of OMDoc has been refined into the MMT format, and we use the MMT System as the reference implementation."