feat: Enable rdfs inferencing in shacl validator (DEV-4220) (#3388)

dasch-swiss · Oct 15, 2024 · a248973 · a248973
1 parent 0459c60
commit a248973
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/webapi/src/main/scala/org/knora/webapi/slice/shacl/domain/ShaclValidator.scala b/webapi/src/main/scala/org/knora/webapi/slice/shacl/domain/ShaclValidator.scala
@@ -35,7 +35,7 @@ final case class ShaclValidator() { self =>
   } yield report
 
   private def readModel(data: InputStream) = ZIO.attempt {
-    val model = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM)
+    val model = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_RDFS_INF)
     model.read(data, null, FileUtils.langTurtle)
     model
   }

diff --git a/webapi/src/test/scala/org/knora/webapi/slice/shacl/domain/ShaclValidatorSpec.scala b/webapi/src/test/scala/org/knora/webapi/slice/shacl/domain/ShaclValidatorSpec.scala
@@ -67,5 +67,18 @@ object ShaclValidatorSpec extends ZIOSpecDefault {
           reportResource <- shaclValidator(_.validate(validData, shapes, ValidationOptions.default))
         } yield assertTrue(reportResource.hasProperty(SH.conforms, JenaDatatypes.TRUE))
       },
+      test("should do basic rdfs inferencing") {
+        val data = """
+                     |@prefix ex: <http://example.org/ns#> .
+                     |@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+                     |@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+                     |
+                     |ex:myProperty
+                     |    a rdf:Property.
+                     |""".stripMargin
+        for {
+          reportResource <- shaclValidator(_.validate(data, "", ValidationOptions.default))
+        } yield assertTrue(reportResource.hasProperty(SH.conforms, JenaDatatypes.TRUE))
+      },
     ).provide(ShaclValidator.layer)
 }