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]

@inproceedings{ParetiKMN20,
  title = {SHACL Satisfiability and Containment},
  author = {Paolo Pareti and George Konstantinidis 0001 and Fabio Mogavero and Timothy J. Norman},
  year = {2020},
  doi = {10.1007/978-3-030-62419-4_27},
  url = {https://doi.org/10.1007/978-3-030-62419-4_27},
  researchr = {https://researchr.org/publication/ParetiKMN20},
  cites = {0},
  citedby = {0},
  pages = {474-493},
  booktitle = {The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part I},
  editor = {Jeff Z. Pan and Valentina A. M. Tamma and Claudia d'Amato and Krzysztof Janowicz and Bo Fu and Axel Polleres and Oshani Seneviratne and Lalana Kagal},
  volume = {12506},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-62419-4},
}