Review owl:cardinality and owl:maxCardinality

Signed-off-by: Alex Nelson <[email protected]>
casework · Sep 19, 2024 · c3a7a67 · c3a7a67
1 parent a30870e
commit c3a7a67
Showing 1 changed file with 25 additions and 1 deletion.
diff --git a/src/generate_single_stub_json.py b/src/generate_single_stub_json.py
@@ -120,6 +120,18 @@ def resolve_max_cardinality(
     ;\
   .\
 \
+ex:D\
+  a owl:Class ;\
+  rdfs:subClassOf\
+    ex:B ,\
+    [\
+      a owl:Restriction ;\
+      owl:onProperty ex:foo ;\
+      owl:cardinality "1"^^xsd:nonNegativeInteger ;\
+    ]\
+    ;\
+  .\
+\
 ex:foo\
   a owl:AnnotationProperty ;\
   .\
@@ -132,6 +144,8 @@ def resolve_max_cardinality(
     3
     >>> resolve_max_cardinality(g, ns_ex["C"], ns_ex["foo"])
     2
+    >>> resolve_max_cardinality(g, ns_ex["D"], ns_ex["foo"])
+    1
     """
     max_counts: Set[int] = set()
     query = """\
@@ -151,8 +165,18 @@ def resolve_max_cardinality(
     ?nRestriction
       a owl:Restriction ;
       owl:onProperty ?nProperty ;
-      owl:maxCardinality ?lMaxCount ;
       .
+    {
+      ?nRestriction
+        owl:cardinality ?lMaxCount ;
+        .
+    }
+    UNION
+    {
+      ?nRestriction
+        owl:maxCardinality ?lMaxCount ;
+        .
+    }
   }
 }
 """