A Semantic Wiki for Mathematical Knowledge Management

We propose the architecture of a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its hyperlinked pages, containing mathematical theories, are stored as OMDoc, a markup format for mathematical knowledge representation. Our long-term objective is to develop a software that, on the one hand, facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education). On the other hand the software shall serve work groups of mathematicians as a tool for collaborative development of new theories. 1 A Semantic Web for Science and Technology via Mathematical Knowledge Management (MKM) The Internet plays an ever-increasing role in our everyday life, and science is no exception. It is plausible to expect that the way we do (conceive, develop, communicate about, and publish) mathematics will change considerably in the next ten years. In particular, most of the mathematical activities will be supported by mathematical software systems (we will call them mathematical services) connected by a commonly accepted distribution architecture. It is a crucial but obvious insight that true cooperation of mathematical services is only feasible if they have access to a joint corpus of mathematical knowledge. Therefore, a central prerequisite for this is the creation of a technology that is capable to create, maintain, and deploy content-oriented libraries of mathematics on the web. The world wide web is already now the largest single resource of mathematical knowledge, and its importance will be exponentiated by the emerging display technologies like MathML, which integrates LTEX-quality presentation into the hypertext and multimedia capabilities of the WWW. The Semantic Web is a Web of data for applications , just as the WWW is a web of documents for humans. If we extend this vision of Tim Berners-Lee’s to mathematics on the web, many services come into mind: 3 Be it one central knowledge base or many of them glued together through an ex-

[1]  Christoph Lüth,et al.  Semantic Interrelation of Documents via an Ontology , 2004, DeLFI.

[2]  Jakob Nielsen,et al.  Designing Web Usability: The Practice of Simplicity , 1999 .

[3]  Margaret P. Johnson.  Rhizome , 2004 .

[4]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[5]  Jörg H. Siekmann,et al.  ActiveMath: An Intelligent Tutoring System for Mathematics , 2004, ICAISC.

[6]  Fabien L. Gandon,et al.  SweetWiki: semantic web enabled technologies in Wiki , 2006, WikiSym '06.

[7]  Christoph Lange.  Wiki - Planen, Einrichten, Verwalten , 2005 .

[8]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[9]  Eyal Oren,et al.  Annotation and Navigation in Semantic Wikis , 2006, SemWiki.

[10]  Normen Müller.  Towards an Ontology-Driven Management of Change , 2006 .

[11]  Sebastian Schaffert,et al.  IkeWiki: A Semantic Wiki for Collaborative Knowledge Management , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[12]  D. Hutter.  Towards a Generic Management of Change , 2004 .

[13]  Simon Miles,et al.  The Semantic Web. ISWC 2005: 4th International Semantic Web Conference , 2005 .

[14]  John Mylopoulos,et al.  Constructing Complex Semantic Mappings Between XML Data and Ontologies , 2005, SEMWEB.

[15]  David Aumueller.  SHAWN : Structure Helps a Wiki Navigate , 2005 .

[16]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[17]  Max Völkel,et al.  Personal Knowledge Management with Semantic Wikis , 2005 .

[18]  Jesse James Garrett.  Ajax: A New Approach to Web Applications , 2007 .

[19]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[20]  Steve Battle.  Gloze : XML to RDF and back again , 2006 .

[21]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[22]  Michael Klein.  Interpreting XML via an RDF Schema , 2002, SAAKM@ECAI.

[23]  Michael Kohlhase,et al.  Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge , 2003, MKM.

[24]  Elena Paslaru Bontas Simperl,et al.  Creating and using Semantic Web information with Makna , 2006, SemWiki.

[25]  Carole Goble,et al.  Proceedings of the 15th international conference on World Wide Web , 2006, WWW 2006.

[26]  Adam Souzis,et al.  Building a Semantic Wiki , 2005, IEEE Intell. Syst..

[27]  Olga De Troyer,et al.  Ontology Change Detection Using a Version Log , 2005, SEMWEB.

[28]  J. Giles.  Internet encyclopaedias go head to head , 2005, Nature.

[29]  Alon Y. Halevy,et al.  Piazza: data management infrastructure for semantic web applications , 2003, WWW '03.

[30]  M. Abramowitz,et al.  Handbook of Mathematical Functions With Formulas, Graphs and Mathematical Tables (National Bureau of Standards Applied Mathematics Series No. 55) , 1965 .

[31]  Volker Haarslev,et al.  Racer: A Core Inference Engine for the Semantic Web , 2003, EON.

[32]  Daniel Lewis,et al.  What is web 2.0? , 2006, CROS.

[33]  Paul Libbrecht,et al.  Knowledge Representation and Management in ACTIVEMATH , 2004, Annals of Mathematics and Artificial Intelligence.

[34]  Gerald Reif,et al.  WEESA: Web engineering for semantic Web applications , 2005, WWW '05.

[35]  Michael Kohlhase,et al.  OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] , 2006, Lecture Notes in Computer Science.

[36]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[37]  William M. Farmer,et al.  Little Theories , 1992, CADE.

[38]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[39]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[40]  Sören Auer,et al.  Mapping XML to OWL Ontologies , 2005, Leipziger Informatik-Tage.

[41]  Elena Paslaru Bontas Simperl,et al.  Towards Wikis as semantic hypermedia , 2006, WikiSym '06.

[42]  Aaron Phillip Krowne,et al.  An Architecture for Collaborative Math and Science Digital Libraries , 2003 .

[43]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[44]  Normen Müller.  An Ontology-Driven Management of Change , 2006, LWA.

[45]  Soeren Auer,et al.  Powl - A Web Based Platform for Collaborative Semantic Web Development , 2005 .

[46]  Bo Leuf.  The semantic web - crafting infrastructures for agency , 2005 .

[47]  Christoph Lange,et al.  SWiM -- A Semantic Wiki for Mathematical Knowledge Management , 2008, ESWC.

[48]  Tobias Bürger,et al.  Learning with Semantic Wikis , 2006, SemWiki.

[49]  Eric S. Raymond,et al.  The cathedral and the bazaar - musings on Linux and Open Source by an accidental revolutionary , 2001 .

[50]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[51]  Marian Babik.  Deep Integration of Python with Web Ontology Language , .

[52]  Michael Kohlhase,et al.  CPoint: Dissolving the Author's Dilemma , 2004, MKM.

[53]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[54]  Milton Abramowitz,et al.  Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 1964 .

[55]  Bruce R. Miller,et al.  Technical Aspects of the Digital Library of Mathematical Functions , 2003, Annals of Mathematics and Artificial Intelligence.

[56]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[57]  Lars Schmidt-Thieme,et al.  Ideas and Improvements for Semantic Wikis , 2006, ESWC.

[58]  Malte Kiesel.  Kaukolu: Hub of the Semantic Corporate Intranet , 2006, SemWiki.

[59]  Arvind Malhotra,et al.  Xml schema part 2: datatypes , 1999 .

[60]  John A. Miller,et al.  Java , 1977, Itinerario.

[61]  Martin Hepp,et al.  Harvesting Wiki Consensus - Using Wikipedia Entries as Ontology Elements , 2006, SemWiki.

[62]  Eyal Oren,et al.  Towards a Wiki Interchange Format (WIF) , 2006, SemWiki.

[63]  Markus Krötzsch,et al.  Semantic Wikipedia , 2006, WikiSym '06.

[64]  Markus Krötzsch,et al.  Reusing Ontological Background Knowledge in Semantic Wikis , 2006, SemWiki.

[65]  Michael Kohlhase,et al.  A Search Engine for Mathematical Formulae , 2006, AISC.

[66]  Tony Horrocks,et al.  Design issues on the World Wide Web , 1996 .