2013
DOI: 10.3233/sw-2012-0059
|View full text |Cite
|
Sign up to set email alerts
|

Ontologies and languages for representing mathematical knowledge on the Semantic Web

Abstract: Mathematics is a ubiquitous foundation of science, technology, and engineering. Specific areas of mathematics, such as numeric and symbolic computation or logics, enjoy considerable software support. Working mathematicians have recently started to adopt Web 2.0 environments, such as blogs and wikis, but these systems lack machine support for knowledge organization and reuse, and they are disconnected from tools such as computer algebra systems or interactive proof assistants. We argue that such scenarios will … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
27
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
7
2
1

Relationship

2
8

Authors

Journals

citations
Cited by 65 publications
(27 citation statements)
references
References 79 publications
0
27
0
Order By: Relevance
“…To put our research into the context, we summarize the most relevant previous works for representing mathematical knowledge in this section. For a more comprehensive overview of services, ontological models and languages for mathematical knowledge management on the Semantic Web and beyond, we refer the interested reader to C. Lange's survey [19].…”
Section: Related Workmentioning
confidence: 99%
“…To put our research into the context, we summarize the most relevant previous works for representing mathematical knowledge in this section. For a more comprehensive overview of services, ontological models and languages for mathematical knowledge management on the Semantic Web and beyond, we refer the interested reader to C. Lange's survey [19].…”
Section: Related Workmentioning
confidence: 99%
“…Although Resource Description Framework -RDF and OWL were not developed to given support for numeric concepts, because they depend on schema definition and are based on the eXtensible Markup Language -XML, the set of upper level ontologies Semantic Web for Earth and Environmental Terminology -SWEET <http://sweet.jpl.nasa.gov/ontology/> is a good example to integrate mathematical knowledge with scientific application domains (Lange, 2013). In this work some statements from SWEET are reused and extended.…”
Section: Ontologiesmentioning
confidence: 99%
“…The Mathematical Markup Language (MathML) may provide a starting point; however, the representation of mathematical knowledge on the Semantic Web is still an open research question. An overview of the state of the art and a roadmap for future work have recently been presented by Lange (2012). In terms of provenance, the core challenge will be to represent the complex workflows used to learn the primitives.…”
Section: Provenancementioning
confidence: 99%