Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SHACL Satisfiability and Containment (Extended Paper)   The Shapes Constraint Language (SHACL) is a recent W3C recommendation
language for validating RDF data. Specifically, SHACL documents are collections
of constraints that enforce particular shapes on an RDF graph. Previous work on
the topic has provided theoretical and practical results for the validation
problem, but did not consider the standard decision problems of satisfiability
and containment, which are crucial for verifying the feasibility of the
constraints and important for design and optimization purposes. In this paper,
we undertake a thorough study of different features of non-recursive SHACL by
providing a translation to a new first-order language, called SCL, that
precisely captures the semantics of SHACL w.r.t. satisfiability and
containment. We study the interaction of SHACL features in this logic and
provide the detailed map of decidability and complexity results of the
aforementioned decision problems for different SHACL sublanguages. Notably, we
prove that both problems are undecidable for the full language, but we present
decidable combinations of interesting features.

34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th