Publishing math lecture notes as linked data

Authors:
Catalin David;Michael Kohlhase;Christoph Lange;Florian Rabe;Nikita Zhiltsov;Vyacheslav Zholudev
Affiliations:
Computer Science, Jacobs University Bremen, Germany;Computer Science, Jacobs University Bremen, Germany;Computer Science, Jacobs University Bremen, Germany;Computer Science, Jacobs University Bremen, Germany;Mathematics, Kazan State University, Russia;Computer Science, Jacobs University Bremen, Germany
Venue:
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Year:
2010

Citing 6
Cited 9

Mathematical Knowledge Management in HELM

Annals of Mathematics and Artificial Intelligence
The Mathematical Semantic Web

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
SALT - Semantically Annotated $\mbox{\LaTeX}$ for Scientific Publications

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Integrating Web Services into Active Mathematical Documents

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
SWiM - a semantic wiki for mathematical knowledge management

ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications

STEX+: a system for flexible formalization of linked data

Proceedings of the 6th International Conference on Semantic Systems
STEXIDE: an integrated development environment for STEX collections

AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Dimensions of formality: a case study for MKM in software engineering

AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Towards sharing source code facts using linked data

Proceedings of the 3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation
Logical structure analysis of scientific publications in mathematics

Proceedings of the International Conference on Web Intelligence, Mining and Semantics
The planetary system: executable science, technology, engineering and math papers

ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Authoring and publishing units and quantities in semantic documents

ESWC'11 Proceedings of the 8th international conference on The Semantic Web
Software trustworthiness 2.0-A semantic web enabled global source code analysis approach

Journal of Systems and Software
Ontologies and languages for representing mathematical knowledge on the Semantic Web

Semantic Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We mark up a corpus of ${\mbox{\LaTeX}}$ lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites.