From 2338fccd371a79b426e3c5193291e86176194f0c Mon Sep 17 00:00:00 2001
From: henrietteharmse <henrietteharmse@gmail.com>
Date: Thu, 24 Oct 2024 13:05:38 +0100
Subject: [PATCH 1/2] Max cardinality on class example.

---
 .../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 -->
+

From 47e635b59a72135180f2704b2855e95b685608a6 Mon Sep 17 00:00:00 2001
From: henrietteharmse <henrietteharmse@gmail.com>
Date: Thu, 24 Oct 2024 16:20:33 +0100
Subject: [PATCH 2/2] Add ttl Max cardinality on class example.

---
 .../max-cardinality-ttl.json                  |  9 ++++++
 .../max-cardinality.ttl                       | 31 +++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 testcases/class-expression-issues/max-cardinality-ttl.json
 create mode 100644 testcases/class-expression-issues/max-cardinality.ttl

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