A Real Semantic Web for Mathematics Deserves a Real Semantics

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

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 proceeding › Conference 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 language	English
Title of host publication	Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008
Number of pages	5
Publication status	Published - 2008

Access to Document

Corbineau Geuvers ET AL 2008 Position Paper A Real Semantic Web for Mathematics Deserves a Real SemanticsAccepted author manuscript, 275 KB

http://ceur-ws.org/Vol-360/paper-16.pdf

Cite this

@inproceedings{504d1760560349d3ac31e59a565f232d,

title = "A Real Semantic Web for Mathematics Deserves a Real Semantics",

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

author = "Cezary Kaliszyk and Pierre Corbineau and Freek Wiedijk and James McKinna and Herman Geuvers",

year = "2008",

language = "English",

booktitle = "Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008",

}

TY - GEN

T1 - A Real Semantic Web for Mathematics Deserves a Real Semantics

AU - Kaliszyk, Cezary

AU - Corbineau, Pierre

AU - Wiedijk, Freek

AU - McKinna, James

AU - Geuvers, Herman

PY - 2008

Y1 - 2008

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

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

M3 - Conference contribution

BT - Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008

ER -

A Real Semantic Web for Mathematics Deserves a Real Semantics

Abstract

Access to Document

Fingerprint

Cite this