Skip to main content
SpringerLink
Log in

Dimensions of Formality: A Case Study for MKM in Software Engineering

  • Conference paper
Intelligent Computer Mathematics (CICM 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6167))

Included in the following conference series:

Abstract

We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats can cope with an open-ended, multi-dimensional space of primary and secondary classifications and relationships. We show that RDFa-based extensions of MKM formats, employing flexible “metadata” relationships referencing specific vocabularies for distinct dimensions, are well-suited to encode this and to put it into service. This formalized knowledge can be used for enriching interactive document browsing, for enabling multi-dimensional metadata queries over documents and collections, and for exporting Linked Data to the Semantic Web and thus enabling further reuse.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. W3C Recommendation, World Wide Web Consortium (W3C) (October 2008)

    Google Scholar 

  2. Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT Bristol (November 2007)

    Google Scholar 

  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

    Google Scholar 

  4. Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.): Calculemus 2009. LNCS (LNAI), vol. 5625. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  5. Carette, J., Farmer, W.: A review of mathematical knowledge management. In: Carette, et al. (eds.) [CDSCW09], pp. 233–246.

    Google Scholar 

  6. DCMI Usage Board. DCMI metadata terms. DCMI recommendation, Dublin Core Metadata Initiative (2008)

    Google Scholar 

  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)

    Google Scholar 

  8. Dublin Core metadata element set. DCMI recommendation, Dublin Core Metadata Initiative (2008)

    Google Scholar 

  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)

    Article  Google Scholar 

  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 SafeCert 2008. Electronic Notes in Theoretical Computer Science, vol. 238, pp. 57–70 (September 2008)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  15. Kohlhase, A., Kohlhase, M., Lange, C.: sTeX – a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)

    Google Scholar 

  16. Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)

    Google Scholar 

  17. Kohlhase, M.: Using \(\mbox{\LaTeX}\) as a semantic markup format. Mathematics in Computer Science 2(2), 279–304 (2008)

    Article  MATH  Google Scholar 

  18. Kohlhase, M.: An open markup format for mathematical documents OMDoc (version 1.3). Draft Specification (2010)

    Google Scholar 

  19. Kamareddine, F., Wells, J.B., Zengler, C.: Computerising mathematical text with mathlang. Electron. Notes Theor. Comput. Sci. 205, 5–30 (2008)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  24. Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle/HOL — A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  25. Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C Recommendation, World Wide Web Consortium (W3C) (January 2008)

    Google Scholar 

  26. Resource description framework (RDF) (2004), http://www.w3.org/RDF/

  27. SAMS. SAMSDocs: The document collection of the SAMS project (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)

    Google Scholar 

  29. Shipman III, F.M., McCall, R.J.: Incremental formalization with the hyper-object substrate. ACM Trans. Inf. Syst. 17(2), 199–227 (1999)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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, CEUR Workshop Proceedings, Budva, Montenegro, vol. 206 (June 2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. German Research Center for Artificial Intelligence (DFKI),  

    Andrea Kohlhase

  2. Computer Science, Jacobs University Bremen,  

    Michael Kohlhase & Christoph Lange

Authors
  1. Andrea Kohlhase
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Kohlhase
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christoph Lange
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. German Research Center for Artificial Intelligence Bremen, Germany

    Serge Autexier

  2. Karlsruhe Institute of Technology, Germany

    Jacques Calmet

  3. CEDRIC/CNAM, Paris, France

    David Delahaye

  4. American Mathematical Society, Ann Arbor, USA

    Patrick D. F. Ion

  5. INRIA Sophia-Antipolis, France

    Laurence Rideau

  6. École Nationale Supérieure d’Informatique pour l’industrie et l’Entreprise, Evry, France

    Renaud Rioboo

  7. School of Computer Science, Edgbaston, University of Birmingham, B15 2TT, Birmingham, UK

    Alan P. Sexton

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kohlhase, A., Kohlhase, M., Lange, C. (2010). Dimensions of Formality: A Case Study for MKM in Software Engineering. In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14128-7_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14127-0

  • Online ISBN: 978-3-642-14128-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation