MoWGLI - Mathematics in the Semantic Web An Approach to Machine-Understandable Representation of the Information in Digital Documents Bernd Wegner Technical University, Berlin NA-MKM 2004, Phoenix, AZ

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI ²MWGL I ²Mathematics on the Web - Get it by Logic and Interfaces ² ²Funded by the 5. Framework Programme of the EU ²Start: March 2002 ²Duration: 3 years ²Intermediate progress report in March 2003 successful

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI - objectives ²Search and use mathematical content in the web ²Context related interpretation of formulas, links to proof assistants ²Content mark-up of electronic documents ²Links between machine-readable and human- understandable presentation

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI - objectives  Exploitation of mark-up potentialities in documents for  interoperability,  automation,  sophisticated search mechanisms,  intelligent applications

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI - partners ²Department of Computer Science Bologna, ²project co-ordinator: Andrea Asperti ²HELM – Hypertextual Electronic Library of Mathematics ² ²INRIA, Nice and Rocquencourt ²Lemme -project for writing software in scientific computing ²LogiCal -Project (Coq proof assistant); common features for proof checking and software security

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI - partners ²German Research Centre for Artificial Intelligence, DFKI, Saarbrücken/Kaiserslautern ²ActiveMath - a web based learning environment ²Relations to OmDoc and OpenMath ²KU Nijmegen ²automated theorem proving projects like ²TYPES, FTA, ²Calculemus, ²OpenMath

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI - partners ²Albert-Einstein-Institut (Max Planck Institute for Gravitational Physics), Golm/Potsdam ²Living Reviews in Relativity Theory ²test bed for mark-up ²development of LATEX-tools ²Trusted Logic, France ²Software quality and security aspects ²Technical University Berlin (associated to AEI) ²Exploitation and information dissemination

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI - initial actions ²Requirement analysis - done ²Investigations to determine the searchable items in a document, development of metadata schemes for their description - done ²Preparation of the test bed “Living Reviews in Relativity” - done, voluntary participation from other “free” journals - postponed ²Delivery of an exploitation and dissemination plan - done

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – general requirements ²Tools should hook on developments from third parties (open sources) ²Authors should be able to apply them easily ²No dependence from commercially protected software ²Possibilities for applications should be as wide as possible ²Chosen formats should be easily readable

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – problems and solutions ²Application of XML-technology is standard ²DFKI and Nijmegen/Eindhoven use OpenMath and OmDoc for the encoding of mathematical objects ²DFKI has created an OmDoc based mathematical database ²Presentation done by HTML/MathML ²MathML is supported by the main web- browsers: Mozilla, Netscape, Internet-explorer

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – problems and solutions ²Scheme of translations: ²XML to OmDoc, OmDoc to HTML/MathML via presentation XSLT ² ²Conversion from Coq to OmDoc available ²Interactive course notes from Eindhoven, which are textual mathematical documents, enhanced with the possibility to interact with a computer algebra system through OpenMath objects

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – problems and solutions ²Representation and selection problems ²MathML can be produced using appropriate editors only ²Selection schemes for content mark-up have to be developed ²The same for formulas ²Unique and coordinated search facilities for formulas are required (different TEX-codings)

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – problems and solutions ²Proof assistants have to deal with two versions: ²machine understandable vs. ²human understandable ²INRIA (Nice) provides applications (and conversions) for applying Coq to proofs in elementary geometry and incidence geometry (using TexMacs) ²AEI has delivered a LaTeX conversion to presentation MathML

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – problems and solutions ²Possibly TEX- and MathML extensions are requested to comply with further requirements ²First release for metadata schemes is available and compliant with other systems like OAI, EULER etc. ²An alternative approach to some problems is provided by MAYA from DFKI (with strong relations to OmDoc) ²OmDoc content dictionaries are available

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – open ends ²Controlled vocabulary still is missing, but essential for further progress ²Nothing has been and could be done with respect to graphics within the project. This is beyond the expertise of most of the partners in the current group. ²As far as presentation will be concerned the project will be able to deliver good results. Development of interactive input components will be beyond the capacity of the current project.

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 MoWGLI – relations to the mathematical community ²Project is pursued by experts in knowledge management and artificial intelligence ²Comments from mathematicians are needed concerning ²Relevance of the ideas for mathematical publications ²Background information for semantic mark-up (names, notions, identification, keywords, etc.) ²User-friendliness of the developed tools ²Extension of the test bed “Living Reviews in Relativity” is highly desirable.

NA-MKM 2004JMM pre-meeting, Phoenix January 2004 Adresses ²Bernd Wegner ²Mathematisches Institut, TU Berlin, Sekr. MA 8-1 ²Straße des 17. Juni 135, D Berlin ² ² ²