Fixes #88

dice-group · Oct 30, 2024 · 1b2ac51 · 1b2ac51
1 parent 3f826eb
commit 1b2ac51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/owlapy/parser.py b/owlapy/parser.py
@@ -438,7 +438,7 @@ def generic_visit(self, node, children):
     object_property = object_property_iri "⁻"?
 
     class_expression = class_iri / individual_list / parentheses
-    individual_list = "{" maybe_ws individual_iri (maybe_ws "," maybe_ws individual_iri)* maybe_ws "}"
+    individual_list = "{" maybe_ws individual_iri (maybe_ws "⊔" maybe_ws individual_iri)* maybe_ws "}"
 
     # Back to start symbol (first production rule)
     parentheses = "(" maybe_ws union maybe_ws ")"

diff --git a/owlapy/render.py b/owlapy/render.py
@@ -246,7 +246,7 @@ def _(self, r: OWLObjectHasValue):
 
     @render.register
     def _(self, r: OWLObjectOneOf):
-        return "{%s}" % (" %s " % _DL_SYNTAX.COMMA).join(
+        return "{%s}" % (" %s " % _DL_SYNTAX.OR).join(
             "%s" % (self.render(_)) for _ in r.individuals())
 
     @render.register