The freedom to extend OpenMath and its utility

J H Davenport, P Libbrecht

Research output: Contribution to journalArticle

  • 3 Citations

Abstract

OpenMath is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML in not being directly concerned with the presentation of the object, and from Content MathML2 in being extensible. How should these extensions be performed so as to maximize the utility (which includes presentation) of OpenMath? How could publishers have the freedom to extend and let consumers find their way with expressions discovered on the Web? The answer up to now has been, too often, to say "this is not specified" whereas the existing content dictionary mechanism of OpenMath allows it to include formal properties which state mathematical facts that should stay uncontradicted while manipulating the symbols. The contribution of this paper is to propose methods to exploit the content dictionaries so as to allow an OpenMath-consuming tool to process expressions even if containing symbols it did not know about before. This approach is generalized to allow such newly discovered symbol to be, for example, rendered or input.
LanguageEnglish
Pages379-398
Number of pages20
JournalMathematics in Computer Science
Volume2
Issue number2
DOIs
StatusPublished - Dec 2008

Fingerprint

Glossaries
Semantics
Maximise
Presentation
Object
Dictionary

Keywords

  • OpenMath

Cite this

The freedom to extend OpenMath and its utility. / Davenport, J H; Libbrecht, P.

In: Mathematics in Computer Science, Vol. 2, No. 2, 12.2008, p. 379-398.

Research output: Contribution to journalArticle

Davenport, J H ; Libbrecht, P. / The freedom to extend OpenMath and its utility. In: Mathematics in Computer Science. 2008 ; Vol. 2, No. 2. pp. 379-398.
@article{b7b842e6265046d8b3492db4e404da24,
title = "The freedom to extend OpenMath and its utility",
abstract = "OpenMath is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML in not being directly concerned with the presentation of the object, and from Content MathML2 in being extensible. How should these extensions be performed so as to maximize the utility (which includes presentation) of OpenMath? How could publishers have the freedom to extend and let consumers find their way with expressions discovered on the Web? The answer up to now has been, too often, to say {"}this is not specified{"} whereas the existing content dictionary mechanism of OpenMath allows it to include formal properties which state mathematical facts that should stay uncontradicted while manipulating the symbols. The contribution of this paper is to propose methods to exploit the content dictionaries so as to allow an OpenMath-consuming tool to process expressions even if containing symbols it did not know about before. This approach is generalized to allow such newly discovered symbol to be, for example, rendered or input.",
keywords = "OpenMath",
author = "Davenport, {J H} and P Libbrecht",
year = "2008",
month = "12",
doi = "10.1007/s11786-008-0059-1",
language = "English",
volume = "2",
pages = "379--398",
journal = "Mathematics in Computer Science",
issn = "1661-8270",
publisher = "Birkhauser Verlag Basel",
number = "2",

}

TY - JOUR

T1 - The freedom to extend OpenMath and its utility

AU - Davenport, J H

AU - Libbrecht, P

PY - 2008/12

Y1 - 2008/12

N2 - OpenMath is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML in not being directly concerned with the presentation of the object, and from Content MathML2 in being extensible. How should these extensions be performed so as to maximize the utility (which includes presentation) of OpenMath? How could publishers have the freedom to extend and let consumers find their way with expressions discovered on the Web? The answer up to now has been, too often, to say "this is not specified" whereas the existing content dictionary mechanism of OpenMath allows it to include formal properties which state mathematical facts that should stay uncontradicted while manipulating the symbols. The contribution of this paper is to propose methods to exploit the content dictionaries so as to allow an OpenMath-consuming tool to process expressions even if containing symbols it did not know about before. This approach is generalized to allow such newly discovered symbol to be, for example, rendered or input.

AB - OpenMath is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML in not being directly concerned with the presentation of the object, and from Content MathML2 in being extensible. How should these extensions be performed so as to maximize the utility (which includes presentation) of OpenMath? How could publishers have the freedom to extend and let consumers find their way with expressions discovered on the Web? The answer up to now has been, too often, to say "this is not specified" whereas the existing content dictionary mechanism of OpenMath allows it to include formal properties which state mathematical facts that should stay uncontradicted while manipulating the symbols. The contribution of this paper is to propose methods to exploit the content dictionaries so as to allow an OpenMath-consuming tool to process expressions even if containing symbols it did not know about before. This approach is generalized to allow such newly discovered symbol to be, for example, rendered or input.

KW - OpenMath

UR - http://www.scopus.com/inward/record.url?scp=69949120159&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1007/s11786-008-0059-1

U2 - 10.1007/s11786-008-0059-1

DO - 10.1007/s11786-008-0059-1

M3 - Article

VL - 2

SP - 379

EP - 398

JO - Mathematics in Computer Science

T2 - Mathematics in Computer Science

JF - Mathematics in Computer Science

SN - 1661-8270

IS - 2

ER -