An RDF Design Pattern for the Structural Representation and Querying of Expressions
Expressions, such as mathematical formulae, logical axioms, or structured queries, account for a large part of human knowledge. It is therefore desirable to allow for their representation and querying with Semantic Web technologies. We propose an RDF design pattern that fulfills three objectives. The first objective is the structural representation of expressions in standard RDF, so that expressive structural search is made possible. We propose simple Turtle and SPARQL abbreviations for the concise notation of such RDF expressions. The second objective is the automated generation of expression labels that are close to usual notations. The third objective is the compatibility with existing practice and legacy data in the Semantic Web (e.g., SPIN, OWL/RDF). We show the benefits for RDF tools to support this design pattern with the extension of SEWELIS, a tool for guided exploration and edition, and its application to mathematical search.
KeywordsQuery Language Priority Level SPARQL Query Syntax Tree Wild Card
- 4.Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, London (2009)Google Scholar
- 7.Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web. Semant. Web 4(2), 119–158 (2013)Google Scholar
- 11.MathML: Mathematical markup language 3.0, W3C Recommendation (2010). http://www.w3.org/TR/MathML3/
- 14.Robbins, A.: Semantic MathML (2009). http://straymindcough.blogspot.fr/2009/06/
- 15.SPIN - SPARQL syntax, W3C Member Submission (2011). http://www.w3.org/Submission/2011/SUBM-spin-sparql-20110222/