JSON Schema is an important, evolving standard schema language for describing families of JSON documents. It is based on a complex combination of structural and Boolean assertions, and features negation and recursion. In this talk, we provide an introduction to this language, and further an intuition for real-world design patterns in data modeling with JSON Schema. We further present practically relevant problems in the static analysis of JSON Schema, including schema satisfiability, inclusion, and equivalence. We conclude with a demonstration of our tool for JSON Schema witness generation, which allows to answer these three problems.