SHACL Satisfiability and Containment

Paolo Pareti, George Konstantinidis 0001, Fabio Mogavero, Timothy J. Norman. SHACL Satisfiability and Containment. In Jeff Z. Pan, Valentina A. M. Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, Lalana Kagal, editors, The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part I. Volume 12506 of Lecture Notes in Computer Science, pages 474-493, Springer, 2020. [doi]

Abstract

Abstract is missing.