Pattern Matching for Mathematical Expressions with OpenMath

EasyChair Preprint 6406

Abstract

Am OpenMath Content Dictionary with symbols for pattern matching of tree-like structures is presented. Furthermore, a mapping to RDF and SPARQL is introduced that allows to execute search queries against an OpenMath RDF representation.

Keyphrases: Information Retrieval, OpenMath, RDF, mathematics, pattern matching

@booklet{EasyChair:6406,
  author    = {Ken Wenzel},
  title     = {Pattern Matching for Mathematical Expressions with OpenMath},
  howpublished = {EasyChair Preprint 6406},
  year      = {EasyChair, 2021}}