Advertisement

Publishing Math Lecture Notes as Linked Data

  • Catalin David
  • Michael Kohlhase
  • Christoph Lange
  • Florian Rabe
  • Nikita Zhiltsov
  • Vyacheslav Zholudev
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6089)

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.

Keywords

Mathematical Knowledge Link Data Semantic Structure Semantic Annotation Open Math 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
  2. 2.
    RDFa in XHTML: Syntax and processing. Recommendation, W3C (2008)Google Scholar
  3. 3.
    Asperti, A., Padovani, L., Sacerdoti Coen, C., Guidi, F., Schena, I.: Mathematical knowledge management in HELM. Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management 38(1-3), 27–46 (2003)zbMATHMathSciNetGoogle Scholar
  4. 4.
    MathML 3.0. Candidate Recommendation, W3C (2009)Google Scholar
  5. 5.
    The Open Math standard, version 2.0. Technical report, Open Math Society (2004)Google Scholar
  6. 6.
  7. 7.
    Giceva, J., Lange, C., Rabe, F.: Integrating web services into active mathematical documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009. LNCS (LNAI), vol. 5625, pp. 279–293. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Groza, T., Handschuh, S., Möller, K., Decker, S.: SALT – semantically annotated \({\mbox{\LaTeX}}\) for scientific publications. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 518–532. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
  10. 10.
    JOMDoc — Java library for OMDoc documents, http://jomdoc.omdoc.org
  11. 11.
    Kohlhase, M.: OMDoc – An open markup format for mathematical documents [Version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)Google Scholar
  12. 12.
    Kohlhase, M.: Using \({\mbox{\LaTeX}}\) as a semantic markup format. Mathematics in Computer Science 2(2), 279–304 (2008)zbMATHCrossRefGoogle Scholar
  13. 13.
    Kohlhase, M., Giceva, J., Lange, C., Zholudev, V.: JOBAD – interactive mathematical documents. In: AI Mashup Challenge (2009)Google Scholar
  14. 14.
    Lange, C.: SWiM – a semantic wiki for mathematical knowledge management. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 832–837. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Lange, C.: Krextor – an extensible XML→RDF extraction framework. In: Scripting and Development for the Semantic Web, SFSW 2009 (2009)Google Scholar
  16. 16.
    Marchiori, M.: The mathematical semantic web. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 216–223. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    MathDox – interactive mathematics, http://www.mathdox.org
  18. 18.
    rdfQuery – RDF processing in browser, http://code.google.com/p/rdfquery/
  19. 19.
    Sindice – the semantic web index, http://sindice.com
  20. 20.
    Sparks O 3 browser: Enlighten the web, http://oak.dcs.shef.ac.uk/sparks/
  21. 21.
    Stamerjohanns, H., Kohlhase, M., Ginev, D., David, C., Miller, B.: Transforming large collections of scientific publications to XML. Mathematics in Computer Science (2010)Google Scholar
  22. 22.
    Zholudev, V., Kohlhase, M., Rabe, F.: A (insert xml format) database for (insert cool application). In: Proceedings of XML Prague (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Catalin David
    • 1
  • Michael Kohlhase
    • 1
  • Christoph Lange
    • 1
  • Florian Rabe
    • 1
  • Nikita Zhiltsov
    • 2
  • Vyacheslav Zholudev
    • 1
  1. 1.Computer ScienceJacobs University BremenGermany
  2. 2.MathematicsKazan State UniversityRussia

Personalised recommendations