In the last years, the KWARC group has developed a technology stack for knowledge management and formal digital libraries. While we concentrate on mathematical documents and theories as a primary application area, the technology we create can be utilized in many high-impact/high-investment document and knowledge management areas.
Together, these systems constitute a complete technology stack for document-oriented knowledge management (in mathematics). We can author documents in sTeX, convert them to OMDoc via LaTeXML, store them in TNTBase, which extracts RDF Linked Data from them using Krextor and serves them converted to human-readable form via JOMDoc and instrumented for interaction with JOBAD. (See this publication for an integrated description of the stack, applied to our own lecture notes.)
For new developments that will contribute to this technology stack see the KWARC projects.