Max cardinality on class example. (#773)

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"
+    }
+  ]
+}

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