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

AbstractJSON (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.