4 citations · 4 across the 2 of their papers we have counts for
3 papers
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra +2
The Shapes Constraint Language (SHACL) allows for formalizing constraints over RDF data graphs. A shape groups a set of constraints that may be fulfilled by nodes in the RDF graph.…
Type Checking Program Code using SHACL (Extended Version)
Martin Leinberger, Philipp Seifer, Claudia Schon +2
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible da…
Semantic Query Integration With Reason
Philipp Seifer, Martin Leinberger, Ralf Lämmel +1
Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain sp…