Computer Science – Other Computer Science
Scientific paper
2010-05-28
Computer Science
Other Computer Science
To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010
Scientific paper
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.
Kohlhase Michael
Rabe Florian
Zholudev Vyacheslav
No associations
LandOfFree
Towards MKM in the Large: Modular Representation and Scalable Software Architecture does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Towards MKM in the Large: Modular Representation and Scalable Software Architecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards MKM in the Large: Modular Representation and Scalable Software Architecture will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-15723