|Abstract||MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large, highly interconnected corpora: “MKM in the large”. We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDOC version; and TNTBase, a versioned storage system for XML- based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Michael Kohlhase & Andrea Kohlhase, Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.
D. Ginev, C. David & M. Kohlhase, An Architecture for Linguistic and Semantic Analysis on the ARXMLIV Corpus.
Michael Kohlhase & Andrea Kohlhase, Reexamining the MKM Value Proposition: From Math Web Search to Math Web Research.
Added to index2010-03-12
Total downloads4 ( #188,971 of 722,935 )
Recent downloads (6 months)4 ( #20,425 of 722,935 )
How can I increase my downloads?