Additional SHACL support to Ontospy/gendocs

ontospy/core/ontospy.py

@@ -16,6 +16,7 @@
 from .rdf_loader import RDFLoader
 from .entities import *
 from .sparql_helper import SparqlHelper
+from .shacl_helper import build_shacl_constraints
 
 
 class Ontospy(object):
@@ -630,6 +631,11 @@ def build_shapes(self):
 				exit += [c]
 		self.toplayer_shapes = exit 
 
+		# compute SHACL property constraints once classes and shapes have been built
+		shacl_constraints = build_shacl_constraints(self)
+		for onto_class in self.all_classes:
+			onto_class.shacl_constraints = shacl_constraints.get(onto_class, [])
+
 
 	def build_individuals(self):
 		"""
@@ -783,7 +789,8 @@ def getInferredPropertiesForClass(self, aClass, rel="domain_of"):
 
 			# add properties from Owl:Thing ie the inference layer
 
-			topLevelProps = [p for p in self.all_properties if p.domains == []]
+			properties_applicable_by_shapes = {x[0] for x in self.sparqlHelper.getPropsApplicableByShapes()}
+			topLevelProps = [p for p in self.all_properties if p.domains == [] and not p.uri in properties_applicable_by_shapes]
 			if topLevelProps:
 				_list.append({self.OWLTHING: topLevelProps})
 

ontospy/core/sparql_helper.py

@@ -172,6 +172,30 @@ def getPropDirectSupers(self, aURI):
                  """ % (aURI))
         return list(qres)
 
+    def getPropsApplicableByShapes(self):
+        """
+            Find all properties that should not be "top-level" because they
+            apply to some class via some SHACL PropertyShape.
+        """
+
+        # This query finds classes by explicit class statement, and
+        # infers the class being a SHACL Shape from the domain of
+        # sh:property.  From SHACL specification section 2.1.3.3,
+        # "Implicit Class Targets", a reflective sh:targetClass is
+        # implied.
+        # https://www.w3.org/TR/shacl/#implicit-targetClass
+        qres = self.rdflib_graph.query("""SELECT ?nProperty
+                WHERE {
+                        {
+                            { ?nClass a rdfs:Class . }
+                            UNION
+                            { ?nClass a owl:Class . }
+                        }
+                        ?nClass sh:property/sh:path ?nProperty .
+                }
+                """)
+        return list(qres)
+
     # ..................
     # SKOS
     # ..................
@@ -385,4 +409,4 @@ def getSKOSDirectSubs(self, aURI):
                      FILTER (!isBlank(?x))
                  }
                  """ % (aURI, aURI))
-        return list(qres)
+        return list(qres)

ontospy/core/utils.py

@@ -13,7 +13,7 @@
 
 import rdflib
 from rdflib import RDFS, RDF, BNode
-from rdflib.namespace import OWL, DC
+from rdflib.namespace import OWL, DC, SH
 DEFAULT_LANGUAGE = "en"
 
 import sys, os, subprocess, random, platform