• Corpus ID: 12225435

Towards OpenMath Content Dictionaries as Linked Data

@article{Lange2010TowardsOC,
  title={Towards OpenMath Content Dictionaries as Linked Data},
  author={Christoph Lange},
  journal={ArXiv},
  year={2010},
  volume={abs/1006.4057}
}
  • C. Lange
  • Published 21 June 2010
  • Computer Science
  • ArXiv
The term 'Linked Data' refers to a set of best practices for publishing and connecting structured data on the web" (7). Linked Data make the Semantic Web work practically, which means that informa- tion can be retrieved without complicated lookup mechanisms, that a lightweight semantics enables scalable reasoning, and that the decentral nature of the Web is respected. OpenMath Content Dictionaries (CDs) have the same characteristics - in principle, but not yet in practice. The Linking Open Data… 

Figures from this paper

Mathematical Computations for Linked Data Applications with OpenMath
TLDR
This paper presents an approach for integrating OpenMath with RDF data for the representation of mathematical relationships and the integration of mathematical computations into reasoning systems.
Integrating Mathematics into the Web of Data
TLDR
It is argued why future internet applications would benefit from mathematical Linked Open Data, due to the predominance of semantic XML-based markup languages in mathematics, and contributing mathematical knowledge to the Weeb of Data cannot exclusively rely on RDF.
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data
  • C. Lange
  • Computer Science
    Calculemus/MKM
  • 2011
An increasing amount of scientific knowledge is being contributed to the emerging Web of [Linked] Data, where it is made available in a machine-comprehensible way and interlinked with other related
Ontologies and languages for representing mathematical knowledge on the Semantic Web
  • C. Lange
  • Computer Science
    Semantic Web
  • 2013
TLDR
It is shown that MathML and OpenMath, the standard XML-based exchange languages for mathematical knowledge, can be fully integrated with RDF representations in order to contribute existing mathematical knowledge to the Web of Data.
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
  • C. Lange
  • Computer Science
    Studies on the Semantic Web
  • 2011
TLDR
The results of this thesis will soon enable collaborative acquisition of new mathematical knowledge, as well as the contribution of existing knowledge collections to the Web of Data.
Title : Potential Accessibility of Web-based mathematical information resources 1 Author names with affiliation and address
This paper presents a research concerning the conversion of non-accessible web pages containing mathematical formulae into accessible versions through an OCR (Optical Character Recognition) tool. The

References

SHOWING 1-10 OF 38 REFERENCES
How to Publish Linked Data on the Web - Proposal for a Half-day Tutorial at ISWC2008
TLDR
This tutorial will provide participants with a solid foundation from which to begin publishing Linked Data on the Web, as well as to implement applications that consume Linked data from the Web.
Leveraging Non-Lexical Knowledge for the Linked Open Data Web
TLDR
This work introduces a recently published data set LON of non-lexical entities (NLEs) that can be used for numerous tasks of quantitative modeling on the Semantic Web and shows how it can be seamlessly integrated into current application architectures for the Web of Data.
Linked Data - The Story So Far
TLDR
The authors describe progress to date in publishing Linked Data on the Web, review applications that have been developed to exploit the Web of Data, and map out a research agenda for the Linked data community as it moves forward.
Linking Enterprise Data
TLDR
This work describes herein how it used Linked Data principles in a work intended to foster adoption of semantic web technologies in the authors' company.
Linked Data for Building a Map of Researchers
TLDR
Researchers Map is a simple mash-up application that provides a map of professors of the German database community, or more precisely, of the professors’ workplaces, based on data that is published following the Linked Data principles.
Cool URIs for the semantic web
TLDR
This article discusses two strategies, called 303 URIs and hash URIs, and gives pointers to several web sites that use them, and briefly discusses why several other proposals have problems.
Rdf vocabulary description language 1.0 : Rdf schema
TLDR
This specification describes how to use RDF to describe RDF vocabularies and defines other built-in RDF vocabulary initially specified in the RDF Model and Syntax Specification.
Towards MKM in the large: modular representation and scalable software architecture
TLDR
The MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDOC version; and TNTBase, a versioned storage system for XMLbased document formats, which becomes an MMT database by instantiating it with special MKM operations for MMT.
A Mathematical Approach to Ontology Authoring and Documentation
TLDR
It is shown how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, modular design, documentation, and metadata, by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies).
Wiki.openmath.org - How It Works, How You Can Participate
TLDR
The inner workings of the SWiM system are introduced, how to use it is described, and first experiences gained from OpenMath society members working with the system are described.
...
...