Publikation:

MathTools : An Open API for Convenient MathML Handling

Vorschaubild

Dateien

Greiner-Petter_2-5ggxhrqq3xqc8.pdf
Greiner-Petter_2-5ggxhrqq3xqc8.pdfGröße: 207.11 KBDownloads: 315

Datum

2018

Autor:innen

Cohl, Howard S.

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-2-5ggxhrqq3xqc8
DOI (zitierfähiger Link)
https://doi.org/10.1007/978-3-319-96812-4_9
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

RABE, Florian, ed. and others. Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings. Cham: Springer, 2018, pp. 104-110. Lecture Notes in Artificial Intelligence. 11006. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-96811-7. Available under: doi: 10.1007/978-3-319-96812-4_9

Zusammenfassung

Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this information with different systems requires a standardized machine-readable format that is capable of encoding presentational and semantic information. Even though MathML is an official recommendation by W3C and an ISO standard for representing mathematical expressions, we could identify only very few systems which use the full descriptiveness of MathML. MathML’s high complexity results in a steep learning curve for novice users. We hypothesize that this complexity is the reason why many community-driven projects refrain from using MathML, and instead develop problem-specific data formats for their purposes. We provide a user-friendly, open-source application programming interface for controlling MathML data. Our API allows one to create, manipulate, and efficiently access commonly needed information in presentation and content MathML. Our interface also provides tools for calculating differences and similarities between MathML expressions. The API also allows one to determine the distance between expressions using different similarity measures. In addition, we provide adapters for numerous conversion tools and the canonicalization project. Our toolkit facilitates processing of mathematics for digital libraries without the need to obtain XML expertise.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

MathML, API, Toolkit, Java

Konferenz

11th International Conference, CICM 2018, 13. Aug. 2018 - 17. Aug. 2018, Hagenberg, Austria
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690GREINER-PETTER, André, Moritz SCHUBOTZ, Howard S. COHL, Bela GIPP, 2018. MathTools : An Open API for Convenient MathML Handling. 11th International Conference, CICM 2018. Hagenberg, Austria, 13. Aug. 2018 - 17. Aug. 2018. In: RABE, Florian, ed. and others. Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings. Cham: Springer, 2018, pp. 104-110. Lecture Notes in Artificial Intelligence. 11006. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-96811-7. Available under: doi: 10.1007/978-3-319-96812-4_9
BibTex
@inproceedings{GreinerPetter2018MathT-43182,
  year={2018},
  doi={10.1007/978-3-319-96812-4_9},
  title={MathTools : An Open API for Convenient MathML Handling},
  number={11006},
  isbn={978-3-319-96811-7},
  issn={0302-9743},
  publisher={Springer},
  address={Cham},
  series={Lecture Notes in Artificial Intelligence},
  booktitle={Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings},
  pages={104--110},
  editor={Rabe, Florian},
  author={Greiner-Petter, André and Schubotz, Moritz and Cohl, Howard S. and Gipp, Bela}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/43182">
    <dc:language>eng</dc:language>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Gipp, Bela</dc:contributor>
    <dcterms:issued>2018</dcterms:issued>
    <dc:rights>terms-of-use</dc:rights>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-09-06T07:36:58Z</dc:date>
    <dc:creator>Greiner-Petter, André</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/43182"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Gipp, Bela</dc:creator>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/43182/1/Greiner-Petter_2-5ggxhrqq3xqc8.pdf"/>
    <dc:contributor>Cohl, Howard S.</dc:contributor>
    <dc:creator>Cohl, Howard S.</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/43182/1/Greiner-Petter_2-5ggxhrqq3xqc8.pdf"/>
    <dc:contributor>Schubotz, Moritz</dc:contributor>
    <dcterms:abstract xml:lang="eng">Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this information with different systems requires a standardized machine-readable format that is capable of encoding presentational and semantic information. Even though MathML is an official recommendation by W3C and an ISO standard for representing mathematical expressions, we could identify only very few systems which use the full descriptiveness of MathML. MathML’s high complexity results in a steep learning curve for novice users. We hypothesize that this complexity is the reason why many community-driven projects refrain from using MathML, and instead develop problem-specific data formats for their purposes. We provide a user-friendly, open-source application programming interface for controlling MathML data. Our API allows one to create, manipulate, and efficiently access commonly needed information in presentation and content MathML. Our interface also provides tools for calculating differences and similarities between MathML expressions. The API also allows one to determine the distance between expressions using different similarity measures. In addition, we provide adapters for numerous conversion tools and the canonicalization project. Our toolkit facilitates processing of mathematics for digital libraries without the need to obtain XML expertise.</dcterms:abstract>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Greiner-Petter, André</dc:contributor>
    <dcterms:title>MathTools : An Open API for Convenient MathML Handling</dcterms:title>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-09-06T07:36:58Z</dcterms:available>
    <dc:creator>Schubotz, Moritz</dc:creator>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen