• Corpus ID: 235795578

ProGS: Property Graph Shapes Language (Extended Version)

  title={ProGS: Property Graph Shapes Language (Extended Version)},
  author={Philipp Seifer and Ralf Lammel and Steffen Staab},
Property graphs constitute data models for representing knowledge graphs. They allow for the convenient representation of facts, including facts about facts, represented by triples in subject or object position of other triples. Knowledge graphs such as Wikidata are created by a diversity of contributors and a range of sources leaving them prone to two types of errors. The first type of error, falsity of facts, is addressed by property graphs through the representation of provenance and… 

Figures and Tables from this paper

Creating Knowledge Graphs Subsets using Shape Expressions
A formal model for three different types of knowledge graphs which are RDF-based graphs, property graphs and wikibase graphs is presented and a novel validation algorithm for ShEx based on the Pregel algorithm that can handle big data graphs and has been implemented on Apache Spark GraphX is proposed.


Defining Schemas for Property Graphs by using the GraphQL Schema Definition Language
This paper proposes an approach to adopt the GraphQL SDL for Property Graph schemas, and defines this approach formally and shows its fundamental properties.
Cypher: An Evolving Query Language for Property Graphs
This work describes Cypher 9, which is the first version of the language governed by the openCypher Implementers Group, and introduces the language by example, and provides a formal semantic definition of the core read-query features of Cypher, including its variant of the property graph data model.
Semantics and Validation of Recursive SHACL
With the popularity of RDF as an independent data model came the need for specifying constraints on RDF graphs, and for mechanisms to detect violations of such constraints, and SHACL, a recent W3C recommendation, leaves open the problem of validation against recursive constraints.
SPARQL with Property Paths
It is shown that although the addition of property paths has no impact on query evaluation, they do make the containment and subsumption problems substantially more difficult.
The Property Graph Database Model
This paper presents a formal definition of the property graph database model, which defines the property graphs data structure, basic notions of integrity constraints, and a graph query language.
TigerGraph: A Native MPP Graph Database
TigerGraph's high-level query language, GSQL, is designed for compatibility with SQL, while simultaneously allowing NoSQL programmers to continue thinking in Bulk-Synchronous Processing (BSP) terms and reap the benefits of high- level specification.
RDF* and SPARQL*: An Alternative Approach to Annotate Statements in RDF
The standard approach to annotate statements in RDF with metadata has a number of shortcomings including data size blow-up and complicated queries, so this work proposes an alternative approach that is based on knowledge representation.
Wikidata: a free collaborative knowledgebase
This collaboratively edited knowledgebase provides a common source of data for Wikipedia, and everyone else, to help improve the quality of the encyclopedia.
Empirical study on the usage of graph query languages in open source Java projects
The results show, that the usage of graph query languages in open-source projects increased over the last years, with SPARQL and Cypher being by far the most popular.
)) holds, we can show that VALID(G 2 , S 2 , s N0 (n 0 )). Assumption: VALID(G 2 , S 2 , s N0 (n 0 )) is valid. Then there exists a strictly faithful assignment Σ. Given that |atoms