Abstract
The acronym MOWGLI stands for “Mathematics On the Web: Get it by Logic and Interfaces”. MOWGLI is a European Project founded by the European Community in the “Information Society Technologies” (IST) Programme. The partners are the University of Bologna, INRIA (Rocquencourt), the German Research Centre for Artificial Intelligence (DFKI, Saarbrücken), the Katholieke Universiteit Nijmegen, the Max Planck Institute for Gravitational Physics (Albert Einstein Institute, Golm), Trusted Logic (Paris) and TU Berlin.
The aim of the project is the study and the development of a technological infrastructure for the creation and maintenance of a virtual, distributed, hypertextual library of mathematical knowledge based on a content description of the information. Currently, almost all mathematical documents available on the Web are marked up only for presentation, severely crippling the potentialities for automation, interoperability, sophisticated searching mechanisms, intelligent applications, transformation and processing. The goal of MOWGLI is to overcome these limitations, passing from a machine-readable to a machine-understandable representation of the information, and developing the technological infrastructure for its exploitation.
The project deals with problems traditionally belonging to different scientific communities: digital libraries, Web publishing, automation ofmathematics and computer aided reasoning. Any serious solution to the complex problem of mathematical knowledge management needs a co-ordinated effort of all these groups and a synergy of their different expertise. MOWGLI attempts to build a solid co-operation environment between these communities. The current paper will describe the objectives and first achievements of MOWGLI in some detail.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The Dublin Core Metadata Inititiative, http://purl.org/dc/
Living Reviews in Relativity, http://www.livingreviews.org
Mathematical Markup Language (MathML) 2.0 W3C Recommendation, February 21 (2001), http://www.w3.org/TR/MathML2/
Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation, February 22 (1999), http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
Resource Description Framework (RDF) Schema Specification 1.0,W3C Candidate Recommendation, March 27 (2000), http://www.w3.org/TR/rdf-schema/
SOAP Version 1.2 Part 0: Primer. W3C Working Draft, December 17 (2001), http://www.w3.org/TR/2001/WD-soap12-part0-20011217
Extensible Markup Language (XML) Specification. Version 1.0. W3C Recommendation, February 10 (1998), http://www.w3.org/TR/REC-xml
Transformations, X.S.L. (XSLT). Version 1.0, W3C Recommendation, November 16 (1999), http://www.w3.org/TR/xslt
Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: Formal Mathematics in MathML. In: Proceedings of the First International Conference on MathML and Math on the Web, October 20-21 University of Illinois, Urbana-Champaign (2000)
Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: Formal Mathematics on the Web. In: Proceedings of the Eighth International Conference on Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation, June 9-17, Sudak, Autonomous Republic of Crimea, Ukraine (2001)
Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: XML, Stylesheets and the re-mathematization of Formal Content. In: Proceedings of Extreme Markup Languages 2001 Conference, Montréal, Canada, August 12-17 (2001)
Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: HELM and the semantic Math-Web. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol. 2152, p. 59. Springer, Heidelberg (2001)
Barras, B., et al.: The Coq Proof Assistant Reference Manual, version 6.3.1, http://pauillac.inria.fr/coq
Lee, T.B.: The Semantic Web. W3C Architecture Note (1998)
Huet, G., Plotkin, G. (eds.): Logical Frameworks. Cambridge University Press, Cambridge (1991)
Huet, G., Plotkin, G. (eds.): Logical Environments. Cambridge University Press, Cambridge (1993)
Kohlase, M.: OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge. In: Proceedings of Artificial Intelligence and Symbolic Computation. LNCS (LNAI). Springer, Heidelberg (2000)
Kohlase, M.: OMDoc: An Infrastructure for OpenMath Content Dictionary Information. Bulletin of the ACM Special Interest Group for Algorithmic Mathematics SIGSAM (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asperti, A., Wegner, B. (2003). MOWGLI – An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents. In: Bai, F., Wegner, B. (eds) Electronic Information and Communication in Mathematics. ICM 2002. Lecture Notes in Computer Science, vol 2730. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45155-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-45155-6_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40689-1
Online ISBN: 978-3-540-45155-6
eBook Packages: Springer Book Archive