Filters








131 Hits in 7.8 sec

MINDS: A Translator to Embed Mathematical Expressions Inside SPARQL Queries [chapter]

Damien Graux, Gezim Sejdiu, Claus Stadler, Giulio Napolitano, Jens Lehmann
2020 Lecture Notes in Computer Science  
To offer users a more generic solution, we propose and share MINDS, a translator of mathematical expressions into SPARQL-compliant bindings which can be understood by any evaluator.  ...  MINDS thereby facilitates the query design whenever mathematical computations are needed in a SPARQL query.  ...  To gain in interoperability, we propose and share MINDS: a translator to embed Mathematical expressions INsiDe Sparql queries.  ... 
doi:10.1007/978-3-030-59833-4_7 fatcat:kjni5bwhxrb3rb73d4ca2wruui

Ontologies and languages for representing mathematical knowledge on the Semantic Web

Christoph Lange
2013 Semantic Web Journal  
We conclude with a roadmap for getting the mathematical Web of Data started: what datasets to publish, how to interlink them, and how to take advantage of these new connections.  ...  , can be fully integrated with RDF representations in order to contribute existing mathematical knowledge to the Web of Data.  ...  The Corese RDF engine can additionally reuse variables from the proper SPARQL part of a query in XPath expressions [90] . None of these extensions has made it into the SPARQL standard yet.  ... 
doi:10.3233/sw-2012-0059 fatcat:fmfywipm2bbunkqgbpxz54mcv4

TELIX: An RDF-Based Model for Linguistic Annotation [chapter]

Emilio Rubiera, Luis Polo, Diego Berrueta, Adil El Ghali
2012 Lecture Notes in Computer Science  
We argue that RDF is a suitable data model to capture multiple annotations on the same text segment, and to integrate multiple layers of annotations.  ...  In addition, a formal mapping of feature structures to RDF graphs is defined, enabling complex composition of linguistic entities.  ...  They can also be queried by means of the SPARQL query language, which also defines a web service protocol (SPARQL endpoints) to enable queries on remote graphs.  ... 
doi:10.1007/978-3-642-30284-8_20 fatcat:6qds4wtac5a7zoh2qanjxzkdb4

PhD thesis: SQL Comprehension and Synthesis [article]

George Obaido
2022 arXiv   pre-print
We present algorithms based on: regular expressions for the recognition of simple query constructs, context-free grammars for the recognition of nested queries, and a jumping finite automaton for the synthesis  ...  These tools are mostly electronic and can be used to aid their understanding, as well as enable them to write correct SQL queries.  ...  Query translation (synthesis) is a stage that requires the learner to express a query in clear English and write the related SQL query. 4.  ... 
arXiv:2203.03469v1 fatcat:mutfduvr2jgezmaomd4otvcpje

Evaluating and comparing language workbenches

Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina (+10 others)
2015 Computer languages, systems & structures  
Example: The figure shows an embedding of regular-expression syntax into Java using SugarJ [47]. Assignment: Embed the query language into MiniJava. Extension Composition.  ...  Again consider the embedding of the query language into MiniJava as described above. A query expression has the syntax select <expr> from ....  ... 
doi:10.1016/j.cl.2015.08.007 fatcat:bcyhdmuoyjduponend2tbpb6ra

On the Turing Completeness of the Semantic Web

Amir Pourabdollah, Tim Brailsford
2014 Theory of Computing Systems  
The value of this is firstly that RDF's triples can be considered within a framework and compared to alternatives, such as the TRM version of pE, designated pfE (predicate-function-expression).  ...  Secondly, that a system whose relations are represented with pfE is likewise going to be Turing-complete.  ...  Acknowledgments We would like to thank Dr. Helen Ashman for her great contributions to this work. The very useful comments from anonymous reviewers are also highly appreciated.  ... 
doi:10.1007/s00224-014-9536-x fatcat:zchf3tmhane55pjzglk3tcsfgu

Array databases: concepts, standards, implementations

Peter Baumann, Dimitar Misev, Vlad Merticariu, Bang Pham Huu
2021 Journal of Big Data  
were designed in a way that systems cannot be tuned to specifically these queries.  ...  data, and SPARQL and CIPHER on graph data.  ...  We need to bear in mind, though, that a pure UDF without a query language constitutes just a fixed block of code performing one task-this is relatively easy to keep under control and parallelize whereas  ... 
doi:10.1186/s40537-020-00399-2 fatcat:mu4pujkjdndytmbgb67rgs733e

State Of The Art Analysis Report

Miguel Ángel Esbrí
2014 Zenodo  
This document is the "State of the art analysis report" deliverable and its main objective is to collect information about standards, existing technologies, architectures and systems developed in other  ...  The Linked Data API provides a configurable way to access RDF data using simple RESTful URLs that are translated into queries to a SPARQL endpoint.  ...  SPARQL and GeoSPARQL SPARQL (SPARQL Protocol and RDF Query Language) 67 is a RDF data query and update language that permits to retrieve and manipulate data stored in a RDF graph model.  ... 
doi:10.5281/zenodo.200497 fatcat:otpyumabc5fbpgqmixtgmt7hli

The Rationale of PROV

Luc Moreau, Paul Groth, James Cheney, Timothy Lebo, Simon Miles
2015 Social Science Research Network  
The prov family of documents are the final output of the World Wide Web Consortium Provenance Working Group, chartered to specify a representation of provenance to facilitate its exchange over the Web.  ...  A broad range of requirements were found, relating to the key concepts necessary for describing provenance, such as resources, activities, agents and events, and to balancing prov's ease of use with the  ...  The authors would like to acknowledge the contribution of all the Provenance Working Group members and the reviewers of the various specifications.  ... 
doi:10.2139/ssrn.3198917 fatcat:bqrnrfvsfbe33ouiqtywskmxp4

The rationale of PROV

Luc Moreau, Paul Groth, James Cheney, Timothy Lebo, Simon Miles
2015 Journal of Web Semantics  
The prov family of documents are the final output of the World Wide Web Consortium Provenance Working Group, chartered to specify a representation of provenance to facilitate its exchange over the Web.  ...  A broad range of requirements were found, relating to the key concepts necessary for describing provenance, such as resources, activities, agents and events, and to balancing prov's ease of use with the  ...  Acknowledgments The authors would like to acknowledge the contribution of all the Provenance Working Group members and the reviewers of the various specifications.  ... 
doi:10.1016/j.websem.2015.04.001 fatcat:jfl2gozjjnas7csn3l3bps7b7e

The Rationale of PROV

Luc Moreau, Paul Groth, James Cheney, Timothy Lebo, Simon Miles
2015 Social Science Research Network  
The prov family of documents are the final output of the World Wide Web Consortium Provenance Working Group, chartered to specify a representation of provenance to facilitate its exchange over the Web.  ...  A broad range of requirements were found, relating to the key concepts necessary for describing provenance, such as resources, activities, agents and events, and to balancing prov's ease of use with the  ...  The authors would like to acknowledge the contribution of all the Provenance Working Group members and the reviewers of the various specifications.  ... 
doi:10.2139/ssrn.3199216 fatcat:x5mjepxjlnaalmpa2a5h3g63hi

Experiences from Exporting Major Proof Assistant Libraries

Michael Kohlhase, Florian Rabe
2021 Journal of automated reasoning  
As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc  ...  We believe similar library translations will be an essential part of any future system interoperability solution, and our experiences will prove valuable to others undertaking such efforts.  ...  But any translation that includes those features would have to be a deep embedding, e.g., by translating all Coq types to terms of a designated PVS type.  ... 
doi:10.1007/s10817-021-09604-0 fatcat:3umqoajd3befvkbsixearflcuu

A Semantic Framework for Integrated Modeling and Simulation of Transportation Systems

Qunzhi Zhou, Viktor Prasanna, Hwan Chang, Yun Wang
2009 IFAC Proceedings Volumes  
A number of modeling and simulation tools exist for studying transportation systems.  ...  The proposed framework is designed to be modular and extensible, and to accommodate advanced visualization and human interaction together with data access and management capabilities.  ...  Model management including searching, viewing and retrieval are achieved using the SPARQL query language.  ... 
doi:10.3182/20090902-3-us-2007.0111 fatcat:vuw34lce4vg33lh3snipfhqyjy

Visualizing statistical linked knowledge for decision support

Adrian M.P. Braşoveanu, Marta Sabou, Arno Scharl, Alexander Hubmann-Haidvogel, Daniel Fischl, Aba-Sah Dadzie, Emmanuel Pietriga, Aba-Sah Dadzie, Emmanuel Pietriga
2016 Semantic Web Journal  
In a global and interconnected economy, decision makers often need to consider information from various domains.  ...  A tourism destination manager, for example, has to correlate tourist behavior with financial and environmental indicators to allocate funds for strategic long-term investments.  ...  Another paper related to the same project [24] presents the Linked Data Query Wizard which uses a table-based approach to selecting query results from QB datasets, and classic chart types or mind maps  ... 
doi:10.3233/sw-160225 fatcat:uz43xjyxubhf3ov5qluq4uvf74

Experiences from Exporting Major Proof Assistant Libraries [article]

Michael Kohlhase, Florian Rabe
2020 arXiv   pre-print
As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc  ...  We believe similar library translations will be an essential part of any future system interoperability solution and our experiences will prove valuable to others undertaking such efforts.  ...  This enables, for example, querying for all Isabelle or Coq theorems about a given mathematical concept.  ... 
arXiv:2005.03089v1 fatcat:h2dzkdjpprd75eqzk3fausgthq
« Previous Showing results 1 — 15 out of 131 results