SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types

Authors:
Sven Groppe;Jana Neumann;Volker Linnemann
Affiliations:
University of Lübeck, Lübeck, Germany;University of Lübeck, Lübeck, Germany;University of Lübeck, Lübeck, Germany
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 16
Cited 1

Polymorphism and type inference in database programming

ACM Transactions on Database Systems (TODS)
Type inference in the polymorphic relational algebra

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Haskell and XML: generic combinators or type-based translation?

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Some high level language constructs for data of type relation

ACM Transactions on Database Systems (TODS)
Type-indexed rows

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The project

ACM Transactions on Internet Technology (TOIT)
The complexity of theorem-proving procedures

STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametric polymorphism for XML

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Foundations of semantic web databases

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Polymorphic type inference for the relational algebra in the functional database programming language neon

Proceedings of the 44th annual Southeast regional conference
From SPARQL to rules (and back)

Proceedings of the 16th international conference on World Wide Web
Embedding SPARQL into XQuery/XSLT

Proceedings of the 2008 ACM symposium on Applied computing
A SPARQL Engine for Streaming RDF Data

SITIS '07 Proceedings of the 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System
LUBM: A benchmark for OWL knowledge base systems

Web Semantics: Science, Services and Agents on the World Wide Web
Containment and minimization of RDF/S query patterns

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

Eliminating the XML overhead in embedded XML languages

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications becomes a key issue. The state-of-the-art in programming Semantic Web applications is using complex application programming interfaces of Semantic Web frameworks, where extensive tests are necessary for the detection of errors, although many types of errors could be detected already at compile time. In this paper, we propose an embedding of Semantic Web languages into the java programming language, such that Semantic Web data and queries can be transparently used, type safety is guaranteed, and already at compile time, syntax errors of Semantic Web data and queries are reported, unsatisfiable queries are detected and the types of query results are determined. A demonstration of our system is available online.