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

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

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

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

5. 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 ²http://www.cs.unibo.it/helm ²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

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

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

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

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

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

11. 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 ²http://www.w3.org/TR/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

12. 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)

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

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

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

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

17. 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-10623 Berlin ²E-Mail ²Wegner@math.tu-berlin.deWegner@math.tu-berlin.de ²http://www.cs.unibo.it/mowglihttp://www.cs.unibo.it/mowgli ²http://www.emis.de