Publishing math lecture notes as linked data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6089 LNCS, Issue PART 2, 2010, Pages 370-375

  David, Catalin ^a   Kohlhase, Michael ^a   Lange, Christoph ^a   Rabe, Florian ^a   Zhiltsov, Nikita ^b   Zholudev, Vyacheslav ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

^b KAZAN FEDERAL UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

LECTURE NOTES;

ONTOLOGY; SEMANTICS; WORLD WIDE WEB;

SEMANTIC WEB;

EID: 77954393629     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13489-0_26     Document Type: Conference Paper

References (22)

1. ActiveMath, http://www.activemath.org
2. RDFa in XHTML: Syntax and processing. Recommendation, W3C (2008)
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)
4. MathML 3.0. Candidate Recommendation, W3C (2009)
5. The Open Math standard, version 2.0. Technical report, Open Math Society (2004)
6. DBpedia, http://www.dbpedia.org
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)
8. EX for scientific publications. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 518-532. Springer, Heidelberg (2007)
9. Linked data guides, http://linkeddata.org/guides-and-tutorials
10. JOMDoc - Java library for OMDoc documents, http://jomdoc.omdoc.org
11. Kohlhase, M.: OMDoc - An open markup format for mathematical documents [Version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
12. EX as a semantic markup format. Mathematics in Computer Science 2(2), 279-304 (2008)
13. Kohlhase, M., Giceva, J., Lange, C., Zholudev, V.: JOBAD - interactive mathematical documents. In: AI Mashup Challenge (2009)
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)
15. Lange, C.: Krextor - an extensible XML→RDF extraction framework. In: Scripting and Development for the Semantic Web, SFSW 2009 (2009)
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)
17. MathDox - interactive mathematics, http://www.mathdox.org
18. rdfQuery - RDF processing in browser, http://code.google.com/p/rdfquery/
19. Sindice - the semantic web index, http://sindice.com
20. 3 browser: Enlighten the web, http://oak.dcs.shef.ac. uk/sparks/
21. Stamerjohanns, H., Kohlhase, M., Ginev, D., David, C., Miller, B.: Transforming large collections of scientific publications to XML. Mathematics in Computer Science (2010)
22. Zholudev, V., Kohlhase, M., Rabe, F.: A (insert xml format) database for (insert cool application). In: Proceedings of XML Prague (2010)