Как SHACL описывает ограничения для RDF-графа

SHACL — язык описания ограничений и проверки RDF-графов на соответствие этим ограничениям. Формы задают ожидаемые свойства и значения данных, а проверка формирует отчёт; успешная валидация структуры не доказывает истинность содержащихся в графе утверждений.