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

  • Andrea Kohlhase
  • Michael Kohlhase
  • Christoph Lange
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)


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.


Software Engineer Resource Description Framework Version Management Semantic Markup CEUR Workshop Proceeding 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABMP08]
    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. [BM07]
    Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT Bristol (November 2007)Google Scholar
  3. [CCB06]
    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–282Google Scholar
  4. [CDSCW09]
    Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.): Calculemus 2009. LNCS (LNAI), vol. 5625. Springer, Heidelberg (2009)MATHGoogle Scholar
  5. [CF09]
    Carette, J., Farmer, W.: A review of mathematical knowledge management. In: Carette, et al. (eds.) [CDSCW09], pp. 233–246.Google Scholar
  6. [DCM08]
    DCMI Usage Board. DCMI metadata terms. DCMI recommendation, Dublin Core Metadata Initiative (2008)Google Scholar
  7. [DKL+10]
    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. [Dub08]
    Dublin Core metadata element set. DCMI recommendation, Dublin Core Metadata Initiative (2008)Google Scholar
  9. [Dub10]
    Dubmill, E.: DOAP – description of a project (March 2010), http://trac.usefulinc.com/doap
  10. [Eri07]
    Eriksson, H.: The semantic-document approach to combining documents and ontologies. International Journal of Human-Computer Studies 65(7), 624–639 (2007)CrossRefGoogle Scholar
  11. [FHL+08]
    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. [For08]
    FormalSafe (2008), http://www.dfki.de/sks/formalsafe/ (March 2010)
  13. [GMH+07]
    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)CrossRefGoogle Scholar
  14. [HS06]
    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. [KKL10]
    Kohlhase, A., Kohlhase, M., Lange, C.: sTeX – a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)Google Scholar
  16. [Koh06]
    Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)Google Scholar
  17. [Koh08]
    Kohlhase, M.: Using \(\mbox{\LaTeX}\) as a semantic markup format. Mathematics in Computer Science 2(2), 279–304 (2008)MATHCrossRefGoogle Scholar
  18. [Koh10]
    Kohlhase, M.: An open markup format for mathematical documents OMDoc (version 1.3). Draft Specification (2010)Google Scholar
  19. [KWZ08]
    Kamareddine, F., Wells, J.B., Zengler, C.: Computerising mathematical text with mathlang. Electron. Notes Theor. Comput. Sci. 205, 5–30 (2008)CrossRefGoogle Scholar
  20. [Lan10]
    Lange, C.: The OMDoc document ontology (2010), http://kwarc.info/projects/docOnto/omdoc.html (March 2010)
  21. [LDF]
  22. [LFB96]
    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. [MML07]
    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)CrossRefGoogle Scholar
  24. [NPW02]
    Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle/HOL — A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)MATHGoogle Scholar
  25. [PS08]
    Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C Recommendation, World Wide Web Consortium (W3C) (January 2008)Google Scholar
  26. [RDF04]
    Resource description framework (RDF) (2004), http://www.w3.org/RDF/
  27. [SAM09]
    SAMS. SAMSDocs: The document collection of the SAMS project (2009), http://www.sams-projekt.de
  28. [Ser08]
    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. [SIM99]
    Shipman III, F.M., McCall, R.J.: Incremental formalization with the hyper-object substrate. ACM Trans. Inf. Syst. 17(2), 199–227 (1999)CrossRefGoogle Scholar
  30. [SKG+10]
    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. [Soc09]
    American Mathematical Society. Mathematics Subject Classification MSC2010 (2009), http://www.ams.org/mathscinet/msc/
  32. [SWJL10]
    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. [VO06]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Andrea Kohlhase
    • 1
  • Michael Kohlhase
    • 2
  • Christoph Lange
    • 2
  1. 1.German Research Center for Artificial Intelligence (DFKI) 
  2. 2.Computer ScienceJacobs University Bremen 

Personalised recommendations