David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Michael Kohlhase & Andrea Kohlhase, Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.
Michael Kohlhase & Andrea Kohlhase, Reexamining the MKM Value Proposition: From Math Web Search to Math Web Research.
D. Ginev, C. David & M. Kohlhase, An Architecture for Linguistic and Semantic Analysis on the ARXMLIV Corpus.
Added to index2010-03-12
Total downloads130 ( #27,063 of 1,789,808 )
Recent downloads (6 months)10 ( #82,833 of 1,789,808 )
How can I increase my downloads?