STEX+: A system for flexible formalization of linked data

ACM International Conference Proceeding Series

Volumn , Issue , 2010, Pages

  Kohlhase, Andrea ^a   Kohlhase, Michael ^b   Lange, Christoph ^b  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

^b JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

annotation; formalization; LATEX; linked data; metadata; ontologies; RDFa; semantic authoring; software engineering; vocabularies

Indexed keywords

ANNOTATION; FORMALIZATION; LATEX; LINKED DATUM; RDFA; VOCABULARIES;

METADATA; ONTOLOGY; SOFTWARE ENGINEERING; XML;

SEMANTIC WEB;

EID: 78249276514     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1839707.1839712     Document Type: Conference Paper

References (40)

1. B. Adida and M. Birbeck. RDFa Primer. W3C Working Group Note, World Wide Web Consortium (W3C), Oct. 2008.
2. R. Ausbrooks, S. Buswell, D. Carlisle, G. Chavchanidze, S. Dalmas, S. Devitt, A. Diaz, S. Dooley, R. Hunter, P. Ion, M. Kohlhase, A. Lazrek, P. Libbrecht, B. Miller, R. Miner, M. Sargent, B. Smith, N. Soiffer, R. Sutor, and S. Watt. Mathematical Markup Language (MathML) version 3.0. W3C Candidate Recommendation of 15 December 2009, World Wide Web Consortium, 2009.
3. rd International Semantic Web User Interaction Workshop (SWUI06), Nov. 2006.
4. C. Bizer, T. Gauß, R. Cyganiak, and O. Hartig. Semantic web client library. http://www4.wiwiss.fu-berlin.de/bizer/ng4j/semwebclient/, seen Feb. 2010.
5. S. Braun, A. Schmidt, A. Walter, and V. Zacharias. Using the ontology maturing process model for searching, managing and retrieving resources with semantic technologies. In R. Meersman and Z. Tari, editors, OTM 2008, Part II, number 5332 in LNCS, pages 1567-1577. Springer-Verlag, 2008.
6. st Workshop on Ontology Repositories and Editors, CEUR Workshop Proceedings, Hersonissos, Greece, May 2010.
7. S. Buswell, O. Caprotti, D. P. Carlisle, M. C. Dewar, M. Gaetano, and M. Kohlhase. The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004.
8. J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt, editors. MKM/Calculemus 2009 Proceedings, number 5625 in LNAI. Springer Verlag, July 2009.
9. D. Carlisle. The keyval package. The Comprehensive TEX Archive Network, 1999. Part of the TEX distribution.
10. Intelligent Computer Mathematics, number 6167 in LNAI. Springer Verlag, 2010. in press.
11. C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev. Publishing math lecture notes as linked data. In L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache, editors, ESWC, number 6089 in Lecture Notes in Computer Science, pages 370-375. Springer, June 2010.
12. FormalSafe. http://www.dfki.de/sks/formalsafe/, 2008. seen March 2010.
13. U. Frese, D. Hausmann, C. Lüth, H. Täubig, and D. Walter. The importance of being formal. In H. Hungar, editor, International Workshop on the Certification of Safety-Critical Software Controlled Systems SafeCert'08, volume 238 of Electronic Notes in Theoretical Computer Science, pages 57-70, Sept. 2008.
14. J. Giceva, C. Lange, and F. Rabe. Integrating web services into active mathematical documents. In Carette et al. [8], pages 279-293.
15. T. Groza, S. Handschuh, K. Möller, and S. Decker. SALT - semantically annotated LATEX for scientific publications. In E. Franconi, M. Kifer, and W. May, editors, ESWC, number 4519 in Lecture Notes in Computer Science, pages 518-532. Springer, 2007.
16. O. Hartig and J. Sequeda. SQUIN - query the web of linked data. http://squin.sourceforge.net, seen Feb. 2010.
17. T. Heath et al. Linked data - connect distributed data across the web - guides and tutorials. http://linkeddata.org/guides-and-tutorials, seen Feb. 2010.
18. R. Heese, M. Luczak-Rösch, R. Oldakowski, O. Streibel, and A. Paschke. One click annotation. In T. Tudorache, G. Correndo, N. Noy, H. Alani, and M. Greaves, editors, Proceedings of the Workshop on Collaborative Construction, Management and Linking of Structured Knowledge (CK2009), number 514 in CEUR Workshop Proceedings, 2009.
19. JOMDoc project | Java library for OMDoc documents. http://jomdoc.omdoc. org, 2010. seen Feb.
20. C. Jucovschi and M. Kohlhase. sTeXIDE: An integrated development environment for sTeX collections. In CICM10 [10]. in press.
21. A. Kohlhase. Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In F. de Vries, G. Attwell, R. Elferink, and A. Tödt, editors, Open Source for Education in Europe: Research and Practise, pages 51-56, Heerlen, The Netherlands, Nov. 2005. Open Universiteit Nederland, Open Universiteit Nederland. Proceedings at http://hdl.handle.net/1820/483.
22. A. Kohlhase, M. Kohlhase, and C. Lange. Dimensions of formality: A case study for MKM in software engineering. In CICM10 [10]. http://arxiv.org/abs/ 1004.5071.
23. M. Kohlhase. owl2onto.cls: Marking up OWL2 Ontologies in sTeX. https://svn.kwarc.info/repos/stex/trunk/sty/owl2onto/owl2onto.pdf.
24. M. Kohlhase. RDFa metadata in LATEX. https://svn.kwarc.info/repos/stex/ trunk/sty/rdfmeta/rdfmeta.pdf.
25. M. Kohlhase. OMDoc - An open markup format for mathematical documents [Version 1.2]. Number 4180 in LNAI. Springer Verlag, Aug. 2006.
26. M. Kohlhase. Using LATEX as a semantic markup format. Mathematics in Computer Science, 2(2):279-304, 2008.
27. M. Kohlhase. An open markup format for mathematical documents OMDoc [version 1.3]. Draft Specification, 2010.
28. M. Kohlhase, J. Giceva, C. Lange, and V. Zholudev. JOBAD - interactive mathematical documents. In B. Endres-Niggemeyer, V. Zacharias, and P. Hitzler, editors, AI Mashup Challenge 2009, KI Conference, Sept. 2009.
29. C. Lange. The OMDoc document ontology. web page at http://kwarc.info/ projects/docOnto/omdoc.html, 2010. seen 3/2010.
30. C. Lange. Semantic Web Collaboration on Semiformal Mathematical Knowledge. PhD thesis, Jacobs University Bremen, 2010. submission expected in spring 2010.
31. C. Lange and M. Kohlhase. A mathematical approach to ontology authoring and documentation. In Carette et al. [8], pages 389-404.
32. B. Miller. LaTeXML: A LATEX to XML converter. Web Manual at http://dlmf.nist.gov/LaTeXML/, seen May 2010.
33. T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Number 2283 in LNCS. Springer, 2002.
34. OpenLink Software. OpenLink universal integration middleware - Virtuoso product family. web page at http://virtuoso.openlinksw.com.
35. SAMS. SAMSDocs: The document collection of the SAMS project, 2009. http://www.sams-projekt.de.
36. F.-P. Servant. Linking enterprise data. In C. Bizer, T. Heath, K. Idehen, and T. Berners-Lee, editors, Linked Data on the Web (LDOW 2008), number 369 in CEUR Workshop Proceedings, Apr. 2008.
37. Semantic Markup for LaTeX, seen July 2009. available at http://kwarc.info/projects/stex/.
38. J. Tennison et al. rdfQuery - RDF processing in your browser. http://code.google.com/p/rdfquery/, seen Feb. 2010.
39. V. Zholudev and M. Kohlhase. TNTBase: a versioned storage for XML. In Proceedings of Balisage: The Markup Conference 2009, Balisage Series on Markup Technologies. Mulberry Technologies, Inc., 2009. available at http://kwarc.info/vzholudev/pubs/balisage.pdf.
40. V. Zholudev, M. Kohlhase, and F. Rabe. A [insert xml format] database for [insert cool application]. In Proceedings of XML Prague 2010, 2010.