Towards MKM in the Large: Modular Representation and Scalable Software Architecture

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.Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 201

eMath 3.0: building blocks for a social and semantic Web for online mathematics & elearning

In this paper we present recent developments in content markup for mathematics, and a corresponding software stack that functions as an enabling technology for a social and semantic web for the STEM disciplines. We show the potential of this technology in two eMath 3.0 applications: PlanetMathRedux, a re-implementation of the mathematical encyclopedia PlanetMath.org, and PantaRheiRedux, a community reader for course materials. These applications indicate both present and potential uses for this software as a basis for eLearning applications in Science, Technology, Engineering and Mathematics through the addition of suitable pedagogies

The Planetary System: Web 3.0 Active Documents for STEM

AbstractIn this paper we present the Active Documents Paradigm (semantically annotated documents associated with a content commons that holds the corresponding background ontologies) and the Planetary system (as an active document player). We show that the current Planetary system gives a solid foundation and can be extended modularly to address most of the criteria of the Executable Papers Challenge

A Comparative Study: Change Detection and Querying Dynamic XML Documents

The efficient management of the dynamic XML documents is a complex area of research. The changes and size of the XML documents throughout its lifetime are limitless. Change detection is an important part of version management to identify difference between successive versions of a document. Document content is continuously evolving. Users wanted to be able to query previous versions, query changes in documents, as well as to retrieve a particular document version efficiently. In this paper we provide comprehensive comparative analysis of various control schemes for change detection and querying dynamic XML documents

A knowledge analytics portal for agile programming

iii, 76 leaves : ill. (some col.) ; 29 cmIncludes abstract.Includes bibliographical references (leaves 72-76).Agile programming has been widely adopted for software development. One criticism on agile programming is the lack of documentation and knowledge sharing in the software development process. This thesis proposes a novel knowledge management approach for creating, managing, and sharing various types of documents for agile software development. The proposed approach divides software developers into two groups, masters and apprentices. Masters are senior software developers who are primarily responsible for agile software development. Masters avoid document writing as advocated in the agile manifesto for software development. Apprentices are junior software developers who are mainly responsible for creating, managing and sharing various types of documents for the agile software development process. The effectiveness of the proposed approach is investigated and validated through a prototype of a knowledge analytics portal. This thesis concludes that the proposed knowledge analytics portal increases the knowledge sharing for the agile software development process