Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

An RDF Vocabulary for the Representation and Exploration of Expressions with an Illustration on Mathematical Search

Sébastien Ferré 1
1 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : Complex expressions, as used in mathematics and logics, account for a large part of human knowledge. It is therefore desirable to allow for their representation in RDF and for their exploration through semantic search. We propose an RDF vocabulary that fulfills three objectives. The first objective is the accurate representation of expressions in standard RDF, so that expressive mathematical search is made possible. We here propose a syntactic extension of Turtle and SPARQL for the concise notation of such expressions. The second objective is the automated generation of expression labels that are close to usual mathematical notations (e.g., infix operators, symbols). The third objective is the compatibility with existing practice and legacy data in the Semantic Web community for the representation of expressions and structures (e.g., OWL/RDF, SPIN). We illustrate the use of this vocabulary on mathematical search using SEWELIS, a tool for the guided exploration and edition of RDF graphs, and discuss the benefits compared to state-of-the-art in mathematical search.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00812197
Contributor : Sébastien Ferré <>
Submitted on : Thursday, April 11, 2013 - 6:41:29 PM
Last modification on : Tuesday, March 10, 2020 - 10:10:03 AM
Document(s) archivé(s) le : Friday, July 12, 2013 - 4:09:29 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00812197, version 1

Citation

Sébastien Ferré. An RDF Vocabulary for the Representation and Exploration of Expressions with an Illustration on Mathematical Search. 2012. ⟨hal-00812197⟩

Share

Metrics

Record views

862

Files downloads

433