From 70155bee8ea70131fa7204ab3f225bf000ab4134 Mon Sep 17 00:00:00 2001
From: henrietteharmse <32327979+henrietteharmse@users.noreply.github.com>
Date: Thu, 24 Oct 2024 15:55:43 +0100
Subject: [PATCH] Max cardinality on class example. (#773)

---
 .../max-cardinality.json                      |  9 +++
 .../max-cardinality.owl                       | 56 +++++++++++++++++++
 2 files changed, 65 insertions(+)
 create mode 100644 testcases/class-expression-issues/max-cardinality.json
 create mode 100644 testcases/class-expression-issues/max-cardinality.owl

diff --git a/testcases/class-expression-issues/max-cardinality.json b/testcases/class-expression-issues/max-cardinality.json
new file mode 100644
index 000000000..e58040518
--- /dev/null
+++ b/testcases/class-expression-issues/max-cardinality.json
@@ -0,0 +1,9 @@
+{
+  "ontologies": [
+    {
+      "id": "max-cardinality",
+      "preferredPrefix": "max-cardinality",
+      "ontology_purl": "./testcases/class-expression-issues/max-cardinality.owl"
+    }
+  ]
+}
diff --git a/testcases/class-expression-issues/max-cardinality.owl b/testcases/class-expression-issues/max-cardinality.owl
new file mode 100644
index 000000000..be6b24f4b
--- /dev/null
+++ b/testcases/class-expression-issues/max-cardinality.owl
@@ -0,0 +1,56 @@
+<?xml version="1.0"?>
+<rdf:RDF xmlns="http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl"
+     xml:base="http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+     xmlns:xml="http://www.w3.org/XML/1998/namespace"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
+    <owl:Ontology rdf:about="http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Object Properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl#hasArm -->
+
+    <owl:ObjectProperty rdf:about="http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl#hasArm"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Classes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl#Person -->
+
+    <owl:Class rdf:about="http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl#Person">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.ebi.ac.uk/testcases/class-expression-issues/maxCardinality.owl#hasArm"/>
+                <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 4.5.24.2023-01-14T21:28:32Z) https://github.com/owlcs/owlapi -->
+