research
∙
08/31/2020
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)
The Shapes Constraint Language (SHACL) allows for formalizing constraint...
share
research
∙
05/19/2017
RankPL: A Qualitative Probabilistic Programming Language
In this paper we introduce RankPL, a modeling language that can be thoug...
research
∙
07/15/2014
