Publishing Math Lecture Notes as Linked Data

TL;DR: The Source code ECOsystem Linked Data (SECOLD) framework provides not only source code and facts that are usable by both humans and machines for browsing or querying, but it will also assist the research community at large in sharing and utilizing a standardized source code representation.

TL;DR: It is argued that the ontology of mathematical knowledge concepts can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.

TL;DR: The Mocassin ontology that is used by analysis algorithms and can be considered as an ontology of the structure of scholarly publications in mathematics is presented and potential applications of the model to specific information retrieval tasks including semantic search are discussed.

TL;DR: Future research directions include the release of new datasets as Linked Data, federation and interlinking practices to improve the cohesion of the emergent educational Web of Data, generation of learning artifacts, curation and en- richment of educational data, novel educational applications consuming Linked data, and performance improvements.

TL;DR: A framework (SALT - Semantically Annotated $\mbox{\LaTeX}$), that extends the writing environment and supports the creation of metadata for scientific publications and allows the author to create metadata concurrently, i.e. while in the process of writing a document.

TL;DR: In this paper, the authors present a framework (SALT - Semantically Annotated LATEX) that allows the author to create metadata concurrently, i.e. while in the process of writing a document.

TL;DR: This work evaluates the sTEX macro collection on a large case study: the course materials of a two-semester course in Computer Science was annotated se- mantically and converted to the OMDoc MKM format by Bruce Miller's LaTeXML system.

TL;DR: The leitmotiv is the extensive use of XML technology, and the exploitation of information in the “Web way”, that is without a central authority, with few basic rules, in a scalable, adaptable, and extensible manner.