SHACL4P: SHACL constraints validation within Protégé ontology editor

Recently, Semantic Web Technologies (SWT) have been introduced and adopted to address the problem of enterprise data integration (e.g., to solve the problem of terms and concepts heterogeneity within large organizations). One of the challenges of adopting SWT for enterprise data integration is to provide the means to define and validate structural constraints over Resource Description Framework (RDF) graphs. This is difficult since RDF graph axioms behave like implications instead of structural constraints. SWT researchers and practitioners have proposed several solutions to address this challenge (e.g., SPIN and Shape Expression). However, to the best of our knowledge, none of them provide an integrated solution within open source ontology editors (e.g., Protégé). We identified this absence of the integrated solution and developed SHACL4P, a Protégé plugin for defining and validating Shapes Constraint Language (SHACL), the upcoming W3C standard for constraint validation within Protégé ontology editor.

[1]  Martin Doerr,et al.  Ontologies for Cultural Heritage , 2009, Handbook on Ontologies.

[2]  Kai Eckert,et al.  RDF Validation Requirements - Evaluation and Logical Underpinning , 2015, ArXiv.

[3]  Stefan Biffl,et al.  Semantic Integration of Software and Systems Engineering Environments , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[4]  Harith Alani TGVizTab: An Ontology Visualisation Extension for Protégé , 2003 .

[5]  Stefan Biffl,et al.  Towards evaluation and comparison of tools for ontology population from spreadsheet data , 2013, I-SEMANTICS '13.

[6]  Harold R. Solbrig,et al.  Validating RDF with Shape Expressions , 2014, ArXiv.

[7]  Jens Lehmann,et al.  Test-driven evaluation of linked data quality , 2014, WWW.

[8]  Jiao Tao,et al.  Towards Integrity Constraints in OWL , 2009, OWLED.

[9]  Tania Tudorache,et al.  Web-Protege: A Lightweight OWL Ontology Editor for the Web , 2008, OWLED.

[10]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[11]  Rainer Drath,et al.  Concept for interoperability between independent engineering tools of heterogeneous disciplines , 2011, ETFA2011.

[12]  Marta Sabou,et al.  The uComp Protégé Plugin: Crowdsourcing Enabled Ontology Engineering , 2014, EKAW.

[13]  L. C. van Ruijven,et al.  Ontology for Systems Engineering , 2013, CSER.

[14]  Carole A. Goble,et al.  An ontology for bioinformatics applications , 1999, Bioinform..

[15]  Jiao Tao,et al.  Integrity Constraints in OWL , 2010, AAAI.

[16]  Stefan Biffl,et al.  Supporting the engineering of cyber-physical production systems with the AutomationML analyzer , 2016, 2016 1st International Workshop on Cyber-Physical Production Systems (CPPS).

[17]  Birgit Vogel-Heuser,et al.  Industrie 4.0 in Produktion, Automatisierung und Logistik , 2014 .

[18]  Robert Stevens,et al.  OntoVerbal: a Protégé plugin for verbalising ontology classes , 2012, ICBO.