English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The Shapes Constraint Language (SHACL) allows for formalizing constraintsover RDF data graphs. A shape groups a set of constraints that may be fulfilledby nodes in the RDF graph. We investigate the problem of containment betweenSHACL shapes. One shape is contained in a second shape if every graph nodemeeting the constraints of the first shape also meets the constraints of thesecond. To decide shape containment, we map SHACL shape graphs into descriptionlogic axioms such that shape containment can be answered by description logicreasoning. We identify several, increasingly tight syntactic restrictions ofSHACL for which this approach becomes sound and complete.

Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)