ProGS: Property Graph Shapes Language (Extended Version)
Philipp Seifer, Ralf L\"ammel, Steffen Staab

TL;DR
ProGS is a new shape language for property graphs inspired by SHACL, enabling validation of domain constraints and provenance, with formal semantics, complexity analysis, and a prototype validator.
Contribution
It introduces ProGS, a formal shape language for property graphs, addressing domain constraints and provenance validation, with a formal semantics and implementation.
Findings
ProGS can express domain constraints for property graphs.
Validation complexity of ProGS is analyzed and compared to SHACL.
A prototype validator using answer set programming is developed.
Abstract
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 validity, making triples occur as first-order objects in subject position of metadata triples. The second type of error, violation of domain constraints, has not been addressed with regard to property graphs so far. In RDF representations, this error can be addressed by shape languages such as SHACL or ShEx, which allow for checking whether graphs are valid with respect to a set of domain constraints.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Scientific Computing and Data Management · Biomedical Text Mining and Ontologies
