Adding equivalence sanity tests. (#4627)

pascalfleury · web-flow · commit d9d1c658e013 · 2025-12-04T10:27:17.000+01:00
diff --git a/software/tests/test_graphs.py b/software/tests/test_graphs.py
@@ -539,6 +539,17 @@ def test_EnumerationWithoutEnums(self):
         """,
         error_message="Enumeration Type without Enumeration value")
 
+    def test_owlEquivalences(self):
+        self.assertNoMatch("""
+        PREFIX owl: <http://www.w3.org/2002/07/owl#>
+        SELECT ?term ?equivType WHERE {
+            ?term owl:equivalentClass ?equivType .
+            FILTER EXISTS { ?term owl:equivalentProperty ?equivType . }
+          }
+          ORDER BY ?term
+        """,
+        error_message="Equivalence cannot hold for both Class and Property!",
+        row_pattern="Term '%(term)s' is both equivalent Class and Property of %(equivType)s")
 
 
 # TODO: Unwritten tests (from basics; easier here?)
