SWiM -- A Semantic Wiki for Mathematical Knowledge Management

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identified mathematical symbols, and prepared for managing a large-scale proof formalisation effort.

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

[2]  Christoph Lange.  Towards Scientific Collaboration in a Semantic Wiki , 2007 .

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

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

[5]  K. F. レンツ,et al.  the Creative Commons , 2011 .

[6]  Christoph Lange.  Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations , 2008, SemWiki.

[7]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

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

[9]  Andrea Kohlhase,et al.  “Added-Value: Getting People into Semantic Work Environments” , 2008 .

[10]  David Aumüller,et al.  Towards a Semantic Wiki Experience - Desktop Integration and Interactivity in WikSAR , 2005, Semantic Desktop Workshop.

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

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

[13]  Lawrence Charles Paulson,et al.  Isabelle: A Generic Theorem Prover , 1994 .

[14]  Dieter Hutter,et al.  Maintenance of Formal Software Developments by Stratified Verification , 2002, LPAR.

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

[16]  Jim Melton,et al.  XML schema , 2003, SGMD.

[17]  Michael Kohlhase,et al.  Capturing the Content of Physics: Systems, Observables, and Experiments , 2006, MKM.

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

[19]  Huan Liu,et al.  Resource description framework: metadata and its applications , 2001, SKDD.

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

[21]  Christoph Lange,et al.  Towards a Semantic Wiki for Science , 2007, KWEPSY.

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

[23]  Michael Kohlhase.  MDoc: An Open Markup Format for Mathematical Documents , 2000 .

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

[25]  Claus Zinn.  Bootstrapping a Semantic Wiki Application for Learning Mathematics , 2006 .

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

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

[28]  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).

[29]  François Bry,et al.  Semantic Wikis , 2008, IEEE Software.

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

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

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

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

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

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

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

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

[38]  Dieter Hutter,et al.  System Description: inka 5.0 - A Logic Voyager , 1999, CADE.

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

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

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

[42]  Christoph Lange,et al.  Flyspeck in a Semantic Wiki , 2008, SemWiki.

[43]  Peter D. Mosses,et al.  CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..

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

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

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

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

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

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

[50]  Christoph Lange,et al.  A Semantic Wiki for Mathematical Knowledge Management , 2006, SemWiki.

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

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

[53]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.

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

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

[56]  Sebastian Schaffert.  Semantic Social Software: Semantically Enabled Social Software or Socially Enabled Semantic Web? , 2008 .

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

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

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

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

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

[62]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

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

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

[65]  Matthias L. Jugel,et al.  The radeox Wiki render engine , 2006, WikiSym '06.

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

[67]  Michael Kohlhase,et al.  MathDox : mathematical documents on the web , 2006 .

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

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

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

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

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

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

[74]  Rajesh Munavalli,et al.  MathFind: a math-aware search engine , 2006, SIGIR '06.

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

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

[77]  Dieter Hutter,et al.  Development graphs - Proof management for structured specifications , 2006, J. Log. Algebraic Methods Program..

[78]  Simon St. Laurent,et al.  XSLT Cookbook , 2002 .

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

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

[81]  Tim O'Reilly,et al.  What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software , 2007 .

[82]  Michael Kohlhase,et al.  System Description: MBASE, an Open Mathematical Knowledge Base , 2000, CADE.

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

[84]  Weblog Wikipedia,et al.  In Wikipedia the Free Encyclopedia , 2005 .

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

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

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

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

[89]  Paul Libbrecht,et al.  Semantic-aware components and services of ActiveMath , 2006, Br. J. Educ. Technol..

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