2013 | OriginalPaper | Buchkapitel
The MMT API: A Generic MKM System
verfasst von : Florian Rabe
Erschienen in: Intelligent Computer Mathematics
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The
Mmt
language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making
Mmt
-based MKM services easy to implement. It is foundationally unconstrained and can be instantiated with specific formal languages.
The
Mmt
API implements the
Mmt
language along with multiple backends for persistent storage and frontends for machine and user access. Moreover, it implements a wide variety of
Mmt
-based knowledge management services. The API and all services are generic and can be applied to any language represented in
Mmt
. A plugin interface permits injecting syntactic and semantic idiosyncrasies of individual formal languages.