Translating JSON Schema logics into OWL axioms for unified data validation on a digital manufacturing platform

This paper explores how a semantics technology based on OWL could be used to enable unified data validation on a digital manufacturing platform such as Forge.

Abstract

Translating JSON Schema logics into OWL axioms for unified data validation on a digital manufacturing platform

Hyunmin Cheong

Formal Ontologies Meet Industry 2018

JSON (JavaScript Object Notation) is a prevalent data format used in cloud-based platforms that support composable digital manu- facturing workflows. The current work presents a method to translate the logics found in JSON Schema into OWL axioms, in order to facilitate ontology-based unified data validation with JSON data. The specific contributions of this paper include the demonstra- tion of using a formal ontology for the logic translation and data validation, a technique for disambiguating implicit relations found in JSON Schema as explicit OWL properties, and mapping JSON Schema validation keywords to equivalent OWL expressions.