Paper Info
Title
Towards MKM in the large: modular representation and scalable software architecture
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 XMLbased document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT.
Year
DOI
Venue
2010
10.1007/978-3-642-14128-7_32
artificial intelligence and symbolic computation
Keywords
DocType
Volume
meta-logical foundation,special mkm operation,modular representation,primitive mkm operation,towards mkm,mathematical knowledge,mmt framework,incremental processing,large knowledge base,mmt database,scalable software architecture,xmlbased document format,operations scalably,knowledge base,software architecture,storage system,computational mathematics
Conference
abs/1005.5232
ISSN
ISBN
Citations 
0302-9743
3-642-14127-7
11
PageRank 
References 
Authors
0.92
24
3
Name
Order
Citations
PageRank
Michael Kohlhase11095127.65
Florian Rabe233341.66
Vyacheslav Zholudev3494.66