1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2020
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.…
cs.AI2017★ 1 cited
RankPL: A Qualitative Probabilistic Programming Language
Tjitze Rienstra
In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ran…