Merge pull request #774 from EBISPOT/cardinality-test

Cardinality test

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

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