The Java OWL Persistence API (JOPA) is by now a production-proven persistence library for Semantic Web-based information systems. A logic-based formalism exists for its OWL (2)-based object-ontological mapping, which uses integrity constraints with closed-world semantics. However, OWL integrity constraints never gained much traction in the industry, so most of the JOPA-based object models are written by hand and rely only on the runtime validation provided by the library itself.
SHACL is a W3C standard for defining and validating integrity constraints on RDF graphs. Supporting SHACL-based object-ontological mapping would greatly improve the capabilities of JOPA. This talk will discuss preliminary findings on how to define such a mapping in a formal way.
- Ledvinka, M., Křemen, P.: Formalizing Object-Ontological Mapping Using F-logic. In: Rules and Reasoning. RuleML+RR 2019. Springer, Cham. https://doi.org/10.1007/978-3-030-31095-0_7 (2019)
- Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10). AAAI Press (2010)
- Knublauch H, Kontokostas, D.: Shapes Constraint Language (SHACL), W3C Recommendation, 2017