A Real Semantic Web for Mathematics Deserves a Real Semantics

Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for formal mathematical logic. Semantic Web tools [2] support the first two of these, with little, if any, contribution to the third, while Proof Assistants [17] instrument the third layer, typically with bespoke approaches to the first two. Our position is that a web of mathematical documents, definitions and proofs should be given a fully-fledged semantics in terms of the third layer. We propose a “MathWiki”
to harness Web 2.0 tools and techniques to the rich semantics furnished by contemporary Proof Assistants.
Original languageEnglish
Title of host publicationProceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008
Number of pages5
Publication statusPublished - 2008

Fingerprint Dive into the research topics of 'A Real Semantic Web for Mathematics Deserves a Real Semantics'. Together they form a unique fingerprint.

Cite this