{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:20Z","timestamp":1725558560964},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_31","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T10:45:36Z","timestamp":1277808336000},"page":"355-369","source":"Crossref","is-referenced-by-count":1,"title":["Dimensions of Formality: A Case Study for MKM in Software Engineering"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Kohlhase","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Lange","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. W3C Recommendation, World Wide Web Consortium (W3C) (October 2008)"},{"key":"31_CR2","unstructured":"Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT Bristol (November 2007)"},{"key":"31_CR3","unstructured":"Cohen, A.M., Cuypers, H., Reinaldo Barreiro, E.: Mathdox: Mathematical documents on the web. In: OMDoc \u2013 An Open Markup Format for Mathematical Documents (Version 1.2) (Koh 06), ch. 26.7, pp. 278\u2013282"},{"key":"31_CR4","series-title":"LNAI","volume-title":"Intelligent Computer Mathematics","year":"2009","unstructured":"Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.): Calculemus 2009. LNCS (LNAI), vol.\u00a05625. Springer, Heidelberg (2009)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Carette, J., Farmer, W.: A review of mathematical knowledge management. In: Carette, et al. (eds.) [CDSCW09], pp. 233\u2013246.","DOI":"10.1007\/978-3-642-02614-0_21"},{"key":"31_CR6","unstructured":"DCMI Usage Board. DCMI metadata terms. DCMI recommendation, Dublin Core Metadata Initiative (2008)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/978-3-642-13489-0_26","volume-title":"ESWC","author":"C. David","year":"2010","unstructured":"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\u00f6nen, E. (eds.) ESWC 2010, Part II. LNCS, vol.\u00a06089, pp. 370\u2013375. Springer, Heidelberg (2010)"},{"key":"31_CR8","unstructured":"Dublin Core metadata element set. DCMI recommendation, Dublin Core Metadata Initiative (2008)"},{"key":"31_CR9","unstructured":"Dubmill, E.: DOAP \u2013 description of a project (March 2010), \n                    \n                      http:\/\/trac.usefulinc.com\/doap"},{"issue":"7","key":"31_CR10","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1016\/j.ijhcs.2007.03.008","volume":"65","author":"H. Eriksson","year":"2007","unstructured":"Eriksson, H.: The semantic-document approach to combining documents and ontologies. International Journal of Human-Computer Studies\u00a065(7), 624\u2013639 (2007)","journal-title":"International Journal of Human-Computer Studies"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Frese, U., Hausmann, D., L\u00fcth, C., T\u00e4ubig, H., Walter, D.: The importance of being formal. In: Hungar, H. (ed.) International Workshop on the Certification of Safety-Critical Software Controlled Systems SafeCert 2008. Electronic Notes in Theoretical Computer Science, vol.\u00a0238, pp. 57\u201370 (September 2008)","DOI":"10.1016\/j.entcs.2009.09.006"},{"key":"31_CR12","unstructured":"FormalSafe (2008), \n                    \n                      http:\/\/www.dfki.de\/sks\/formalsafe\/\n                    \n                    \n                   (March 2010)"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-76298-0_15","volume-title":"The Semantic Web","author":"T. Groza","year":"2007","unstructured":"Groza, T., M\u00f6ller, 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\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 197\u2013210. Springer, Heidelberg (2007)"},{"key":"31_CR14","unstructured":"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)"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Kohlhase, A., Kohlhase, M., Lange, C.: sTeX \u2013 a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)","DOI":"10.1145\/1839707.1839712"},{"key":"31_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents (version 1.2)","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006)"},{"issue":"2","key":"31_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11786-008-0055-5","volume":"2","author":"M. Kohlhase","year":"2008","unstructured":"Kohlhase, M.: Using \n                    \n                      \n                    \n                    $\\mbox{\\LaTeX}$\n                   as a semantic markup format. Mathematics in Computer Science\u00a02(2), 279\u2013304 (2008)","journal-title":"Mathematics in Computer Science"},{"key":"31_CR18","unstructured":"Kohlhase, M.: An open markup format for mathematical documents OMDoc (version 1.3). Draft Specification (2010)"},{"key":"31_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.03.063","volume":"205","author":"F. Kamareddine","year":"2008","unstructured":"Kamareddine, F., Wells, J.B., Zengler, C.: Computerising mathematical text with mathlang. Electron. Notes Theor. Comput. Sci.\u00a0205, 5\u201330 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"31_CR20","unstructured":"Lange, C.: The OMDoc document ontology (2010), \n                    \n                      http:\/\/kwarc.info\/projects\/docOnto\/omdoc.html\n                    \n                    \n                   (March 2010)"},{"key":"31_CR21","unstructured":"Linked data FAQ, \n                    \n                      http:\/\/structureddynamics.com\/linked_data.html"},{"key":"31_CR22","unstructured":"Lin, J., Fox, M.S., Bilgic, T.: A requirement ontology for engineering design. In: Proceedings of 3rd International Conference on Concurrent Engineering, pp. 343\u2013351. Technomic Publishing Company, Inc. (August 1996)"},{"key":"31_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"31_CR25","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C Recommendation, World Wide Web Consortium (W3C) (January 2008)"},{"key":"31_CR26","unstructured":"Resource description framework (RDF) (2004), \n                    \n                      http:\/\/www.w3.org\/RDF\/"},{"key":"31_CR27","unstructured":"SAMS. SAMSDocs: The document collection of the SAMS project (2009), \n                    \n                      http:\/\/www.sams-projekt.de"},{"key":"31_CR28","unstructured":"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.\u00a0369 (April 2008)"},{"issue":"2","key":"31_CR29","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/306686.306690","volume":"17","author":"F.M. Shipman III","year":"1999","unstructured":"Shipman III, F.M., McCall, R.J.: Incremental formalization with the hyper-object substrate. ACM Trans. Inf. Syst.\u00a017(2), 199\u2013227 (1999)","journal-title":"ACM Trans. Inf. Syst."},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/s11786-010-0024-7"},{"key":"31_CR31","unstructured":"American\u00a0Mathematical Society. Mathematics Subject Classification MSC2010 (2009), \n                    \n                      http:\/\/www.ams.org\/mathscinet\/msc\/"},{"key":"31_CR32","unstructured":"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)"},{"key":"31_CR33","unstructured":"V\u00f6lkel, M., Oren, E.: Towards a Wiki Interchange Format (WIF). In: V\u00f6lkel, M., Schaffert, S., Decker, S. (eds.) Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006, CEUR Workshop Proceedings, Budva, Montenegro, vol.\u00a0206 (June 2006)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:23:31Z","timestamp":1558293811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}