Corpus ID: 63551313

Using L A T E X as a Semantic Markup Format

@inproceedings{Kohlhase2008UsingLA,
  title={Using L A T E X as a Semantic Markup Format},
  author={Michael Kohlhase},
  year={2008}
}
One of the great problems of Mathematical Knowledge Manage- ment (MKM) systems is to obtain access to a sufficiently large corpus of mathematical knowledge to allow the management/search/navigation tech- niques developed by the community to display their strength. Such systems usually expect the mathematical knowledge they operate on in the form of se- mantically enhanced documents, but mathematicians and publishers in Math- ematics have heavily invested into the TEX/L ATEX format and workflow… Expand
An Architecture for Recovering Meaning in a L A TEX to OMDoc Conversion
Printing-press mathematics has not been left out by the digital era and is now evolving into an extended Web representation. Given the advantages of hypertext over a static paper article, aExpand
Extending MKM Formats at the Statement Level
TLDR
The utility (and indeed necessity) of statement-level extension is shown by redesigning the OMDoc format into a minimal, regular core language (strict O MDoc) and an extension that maps into strict OMDOC. Expand
Transforming Large Collections of Scientific Publications to XML
TLDR
The first task of the arXMLiv project is to develop LaTeXML bindings for the (thousands of) LaTEX classes and packages used in the arχiv collection, as well as methods for coping with the eccentricities that TEX encourages. Expand
Math Lecture Notes as Linked Data
Lecture notes, particularly such with mathematical formulæ, are often written non-semantically in LATEX and thus only really useful for reading and printing. Important questions of learners (e. g.Expand
Semantic Enrichment of Mathematics via 'tooltips'
TLDR
A package mathsem for pdf implements a way to provide semantic meaning to symbols, without adding a large syntactical burden to the specification of a mathematical expression, using a concept of 'active comment', allowing the '%' character at the beginning of a new line to become an active token under highly-controlled circumstances. Expand
Transforming the arXiv to XML
TLDR
An experiment of transforming large collections of documents to more machine-understandable representations using the to XML converter, which has continuously improved its success rate to more than 56%. Expand
A partial translation path from MathLang to Isabelle
TLDR
Several extensions to MathLang are described: a system and notation for annotated text; improved methods for annotating complex mathematical expressions; and a method for creating rules to translate document annotations. Expand
Proceedings of the First Workshop on Semantic Publication ( SePublica 2011 ) 8 th Extended Semantic Web Conference Hersonissos , Crete , Greece , May 31 , 2011
This paper shows how an explicit representation of units and quantities can improve the experience of semantically published documents, and provides a first authoring method in this respect. ToExpand
Mashups Using Mathematical Knowledge Why Formulas Are Different
TLDR
This chapter presents the Planetary system, a math-enabled social semantic web portal that provides an environment for executable papers, and the SAlly framework that mashes up user interfaces of software applications with mathematical web services. Expand
Dimensions of formality: a case study for MKM in software engineering
TLDR
It is shown that RDFa-based extensions of MKM formats, employing flexible "metadata" relationships referencing specific vocabularies for distinct dimensions, are well-suited to encode this and to put it into service. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 40 REFERENCES
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]
  • M. Kohlhase
  • Computer Science
  • Lecture Notes in Computer Science
  • 2006
TLDR
In contrast to the OMDoc format, this report is a total re-write, it closes many documentation gaps, clarifies various remaining issues and adds a multitude of new examples. Expand
A Semantic Wiki for Mathematical Knowledge Management
TLDR
The architecture of a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base, stored as OMDoc, a markup format for mathematical knowledge representation is proposed. Expand
SALT - Semantically Annotated LaTeX for Scientific Publications
TLDR
A framework (SALT - Semantically Annotated $\mbox{\LaTeX}$), that extends the writing environment and supports the creation of metadata for scientific publications and allows the author to create metadata concurrently, i.e. while in the process of writing a document. Expand
Transforming the arXiv to XML
TLDR
An experiment of transforming large collections of documents to more machine-understandable representations using the to XML converter, which has continuously improved its success rate to more than 56%. Expand
Extracting mathematical semantics from LATEX documents
We report on a project to use SGLR parsing and term rewriting with ELAN4 to extract the semantics of mathematical formulas from a LATEX document and representing them in MathML. The LATEX document weExpand
SWiM -- A Semantic Wiki for Mathematical Knowledge Management
  • C. Lange
  • Computer Science, Mathematics
  • ESWC
  • 2008
TLDR
SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc that is currently being used for authoring content dictionaries. Expand
CPoint: Dissolving the Author's Dilemma
TLDR
It is argued that the authoring problem experienced by MKM is actually an author’s dilemma and an analysis of the content authoring process suggests that the dilemma can partially be overcome by providing authoring tools like invasive editors aimed specifically at supporting the content creator. Expand
Semantic Interrelation of Documents via an Ontology
This paper describes how to use an ontology for extensive semantic interrelation of documents in order to achieve sustainable development, i.e. continuous long-term usability of the contents. TheExpand
Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge
In this paper we explore the use of documents as interfaces to mathematical knowledge. We propose an augmented document model that facilitates the explication of a document’s notation context, i.e.Expand
Notations for Living Mathematical Documents
TLDR
This work presents a representational infrastructure for notations in living mathematical documents and gives an abstract specification of notation definitions and the flexible rendering algorithms and shows their coverage on paradigmatic examples. Expand
...
1
2
3
4
...