Dimensions of formality: A case study for MKM in software engineering

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

Volumn 6167 LNAI, Issue , 2010, Pages 355-369

  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

[No Author keywords available]

Indexed keywords

COLLECTION OF DOCUMENTS; DOCUMENT BROWSING; MULTI-DIMENSIONAL SPACE; SOFTWARE ENGINEERING PROJECTS;

COMPUTER SOFTWARE; CONCENTRATION (PROCESS); SEMANTIC WEB;

METADATA;

EID: 77954881935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14128-7_31     Document Type: Conference Paper

References (33)

1. Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. W3C Recommendation, World Wide Web Consortium (W3C) (October 2008)
2. Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT Bristol (November 2007)
3. Cohen, A.M., Cuypers, H., Reinaldo Barreiro, E.: Mathdox: Mathematical documents on the web. In: OMDoc - An Open Markup Format for Mathematical Documents (Version 1.2) (Koh 06), ch. 26.7, pp. 278-282
4. Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.): Calculemus 2009. LNCS (LNAI), vol.5625. Springer, Heidelberg (2009)
5. Carette, J., Farmer, W.: A review of mathematical knowledge management. In: Carette, et al. (eds.) [CDSCW09ö, pp. 233-246.
6. DCMI Usage Board. DCMI metadata terms. DCMI recommendation, Dublin Core Metadata Initiative (2008)
7. David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V.: Publishing math lecture notes as linked data. In: Aroyo, L., Antoniou, G., Hyvönen, E. (eds.) ESWC 2010, Part II. LNCS, vol.6089, pp. 370-375. Springer, Heidelberg (2010)
8. Dublin Core metadata element set. DCMI recommendation, Dublin Core Metadata Initiative (2008)
9. Dubmill, E.: DOAP - description of a project (March 2010), http://trac.usefulinc.com/doap
10. Eriksson, H.: The semantic-document approach to combining documents and ontologies. International Journal of Human-Computer Studies 65(7), 624-639 (2007)
11. Frese, U., Hausmann, D., Lüth, C., Täubig, H., Walter, D.: The importance of being formal. In: Hungar, H. (ed.) International Workshop on the Certification of Safety-Critical Software Controlled Systems Safe- Cert 2008. Electronic Notes in Theoretical Computer Science, vol.238, pp. 57-70 (September 2008)
12. FormalSafe (2008), http://www.dfki.de/sks/formalsafe/ (March 2010)
13. Groza, T., Möller, K., Handschuh, S., Trif, D., Decker, S.: SALT: Weaving the claim web. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.4825, pp. 197-210. Springer, Heidelberg (2007)
14. Happel, H.-J., Seedorf, S.: Applications of ontologies in software engineering. In: Proc. 2nd International Workshop on Semantic Web Enabled Software Engineering, SWESE 2006 (2006)
15. Kohlhase, A., Kohlhase, M., Lange, C.: sTeX - a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)
16. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2ö. LNCS (LNAI), vol.4180. Springer, Heidelberg (2006)
17. Kohlhase, M.: Using LATEXas a semantic markup format. Mathematics in Computer Science 2(2), 279-304 (2008)
18. Kohlhase, M.: An open markup format for mathematical documents OMDoc (version 1.3). Draft Specification (2010)
19. Kamareddine, F., Wells, J.B., Zengler, C.: Computerising mathematical text with mathlang. Electron. Notes Theor. Comput. Sci. 205, 5-30 (2008)
20. Lange, C.: The OMDoc document ontology (2010), http://kwarc.info/ projects/docOnto/omdoc.html (March 2010)
21. Linked data FAQ, http://structureddynamics.com/linked-data.html
22. Lin, J., Fox, M.S., Bilgic, T.: A requirement ontology for engineering design. In: Proceedings of 3rd International Conference on Concurrent Engineering, pp. 343-351. Technomic Publishing Company, Inc. (August 1996)
23. Mossakowski, T., Maeder, C., Lüttich, K.: The heterogeneous tool set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.4424, pp. 519-522. Springer, Heidelberg (2007)
24. Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol.2283. Springer, Heidelberg (2002)
25. Prud'hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C Recommendation, World Wide Web Consortium (W3C) (January 2008)
26. Resource description framework (RDF) (2004), http://www.w3.org/RDF/
27. SAMS. SAMSDocs: The document collection of the SAMSproject (2009), http://www.sams-projekt.de
28. Servant, F.-P.: Linking enterprise data. In: Bizer, C., Heath, T., Idehen, K., Berners-Lee, T. (eds.) Linked Data on the Web (LDOW 2008). CEUR Workshop Proceedings, vol.369 (April 2008)
29. Shipman III, F.M., McCall, R.J.: Incremental formalization with the hyper-object substrate. ACM Trans. Inf. Syst. 17(2), 199-227 (1999)
30. Stamerjohanns, H., Kohlhase, M., Ginev, D., David, C., Miller, B.: Transforming large collections of scientific publications to XML. Mathematics in Computer Science (in Press 2010)
31. American Mathematical Society. Mathematics Subject Classification MSC2010 (2009), http://www.ams.org/mathscinet/msc/
32. Stankovic, M., Wagner, C., Jovanovic, J., Laublet, P.: Looking for experts? what can linked data do for you? In: Bizer, C., Heath, T., Berners- Lee, T., Hausenblas, M. (eds.) Linked Data on the Web (LDOW 2010). CEUR Workshop Proceedings (April 2010)
33. Völkel, M., Oren, E.: Towards a Wiki Interchange Format (WIF). In: Völkel, M., Schaffert, S., Decker, S. (eds.) Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006, CEURWorkshop Proceedings, Budva, Montenegro, vol.206 (June 2006)