Article

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

Authors:

Andrea Kohlhase,

Michael Kohlhase,

Christoph LangeAuthors Info & Claims

AISC'10/MKM'10/Calculemus'10: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

Pages 355 - 369

Published: 05 July 2010 Publication History

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.

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)

[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.

Digital Library

[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)

Digital Library

[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)

Digital Library

[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)

Digital Library

[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)

Digital Library

[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)

Digital Library

[16]

Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents {version 1.2}. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)

Digital Library

[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)

Digital Library

[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)

Digital Library

[24]

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

Digital Library

[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)

Digital Library

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

Cited By

Lange CKohlhase MDavid CGinev DKohlhase AMatican BMirea SZholudev V(2011)The planetary systemProceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II10.5555/2017936.2017979(471-475)Online publication date: 29-May-2011
https://dl.acm.org/doi/10.5555/2017936.2017979
Kohlhase AKohlhase MProtopsaltis ASpyratos NCosta CMeghini C(2011)Towards a flexible notion of document contextProceedings of the 29th ACM international conference on Design of communication10.1145/2038476.2038512(181-188)Online publication date: 3-Oct-2011
https://dl.acm.org/doi/10.1145/2038476.2038512
Jucovschi CKohlhase M(2010)STEXIDEProceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics10.5555/1894483.1894515(336-344)Online publication date: 5-Jul-2010
https://dl.acm.org/doi/10.5555/1894483.1894515
Show More Cited By

Dimensions of formality: a case study for MKM in software engineering
1. Applied computing
  1. Document management and text processing

Recommendations

Ontology mapping approach based on concept dimensions
FSKD'09: Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7

Ontologies are significant for the development of the semantic web, which could implement the information reusing and knowledge sharing. With the number of ontologies increasing rapidly, ontology mapping is a useful method to clear up the heterogeneity ...
Ontology Mapping Approach Based on Concept Dimensions
FSKD '09: Proceedings of the 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 07

Ontologies are significant for the development of the semantic web, which could implement the information reusing and knowledge sharing. With the number of ontologies increasing rapidly, ontology mapping is a useful method to clear up the heterogeneity ...
Taking "pragmatic dimensions" of ontologies into account: frameworks
I-Semantics '11: Proceedings of the 7th International Conference on Semantic Systems

A major aim of the Pragmatic Web is "to support communities to put ontologies in context". As a contribution to this aim, we present the framework we developed to analyze the way we attempted to contextualize the ontologies underlying a set of semantic ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AISC'10/MKM'10/Calculemus'10: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

July 2010

470 pages

ISBN:3642141277

Editors:
Serge Autexier
DFKI Bremen, Germany
,
Jacques Calmet
Karlsruhe Institute of Technology, Germany
,
David Delahaye
Conservatoire National des Arts et Métiers, Paris, France
,
Patrick D. F. Ion
AMS, Ann Arbor
,
Laurence Rideau
INRIA Sophia-Antipolis, France
,
Renaud Rioboo
ENSIIE, Evry, France
,
Alan P. Sexton
University of Birmingham, UK

Sponsors

ENSIEE: école Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
CNAM: Conservatoire des Arts et Métiers
Texas Instruments
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
INRIA: Institut Natl de Recherche en Info et en Automatique

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 05 July 2010

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Lange CKohlhase MDavid CGinev DKohlhase AMatican BMirea SZholudev V(2011)The planetary systemProceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II10.5555/2017936.2017979(471-475)Online publication date: 29-May-2011
https://dl.acm.org/doi/10.5555/2017936.2017979
Kohlhase AKohlhase MProtopsaltis ASpyratos NCosta CMeghini C(2011)Towards a flexible notion of document contextProceedings of the 29th ACM international conference on Design of communication10.1145/2038476.2038512(181-188)Online publication date: 3-Oct-2011
https://dl.acm.org/doi/10.1145/2038476.2038512
Jucovschi CKohlhase M(2010)STEXIDEProceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics10.5555/1894483.1894515(336-344)Online publication date: 5-Jul-2010
https://dl.acm.org/doi/10.5555/1894483.1894515
Kohlhase AKohlhase MLange C(2010)STEX+Proceedings of the 6th International Conference on Semantic Systems10.1145/1839707.1839712(1-9)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.1145/1839707.1839712

View Options

View options

Media

Figures

Other

Tables

View Table of Contents