Abstract:JSON Schema is the de-facto standard schema language for JSON data. The language went through many minor revisions, but the most recent versions of the language added two novel features, dynamic references and annotation-dependent validation, that change the evaluation model. Modern JSON Schema is the name used to indicate all versions from Draft 2019-09, which are characterized by these new features, while Classical JSON Schema is used to indicate the previous versions. These new "modern" features make the schema language quite difficult to understand, and have generated many discussions about the correct interpretation of their official specifications; for this reason we undertook the task of their formalization. During this process, we also analyzed the complexity of data validation in Modern JSON Schema, with the idea of confirming the PTIME complexity of Classical JSON Schema validation, and we were surprised to discover a completely different truth: data validation, that is expected to be an extremely efficient process, acquires, with Modern JSON Schema features, a PSPACE complexity. In this paper, we give the first formal description of Modern JSON Schema, which we consider a central contribution of the work that we present here. We then prove that its data validation problem is PSPACE-complete. We prove that the origin of the problem lies in dynamic references, and not in annotation-dependent validation. We study the schema and data complexities, showing that the problem is PSPACE-complete with respect to the schema size even with a fixed instance, but is in PTIME when the schema is fixed and only the instance size is allowed to vary. Finally, we run experiments that show that there are families of schemas where the difference in asymptotic complexity between dynamic and static references is extremely visible, even with small schemas.

Domain Specific Semantic Validation of Schema.org Annotations

Defining Tourism Domains for Semantic Annotation of Web Content

Machine Readable Web APIs with Schema.org Action Annotations

Complete Semantics to empower Touristic Service Providers

Analysis of Schema.org Usage in the Tourism Domain

A Semantic Web Approach to Validating Semistructured Data

Validation of Modern JSON Schema: Formalization and Complexity

Learning to Generate Semantic Annotation for Domain Specific Sentences.

Browser-based Semantic Mapping Tool for Linked Data in Semantic Web.

Semantic web based rule checking of real-world scale BIM models : a pragmatic method

Validation of technical requirements for a BIM model using semantic web technologies

A fully automated approach to a complete Semantic Table Interpretation

Semantics and Validation of Shapes Schemas for RDF

SHADE: Semantic Hypernym Annotator for Domain-specific Entities -- DnD Domain Use Case

Finding Quality Issues in SKOS Vocabularies

Validating semistructured data using OWL

Discovering Anomalies in Semantic Web Rules

Semantic integration of UML class diagram with semantic validation on segments of mappings

An Unsupervised Model For Exploring Hierarchical Semantics From Social Annotations

An Approach to Semi-Automatic Semantic Annotation on Web3D Scenes Based on an Ontology Framework

Verifying Semistructured Data Normalization Using SWRL