Rendering owl_datatype_min_max_inclusive_restriction

[Demirrr]

Could you ensure that the

from owlapy.render import DLSyntaxObjectRenderer
from owlapy.parser import DLSyntaxParser
from owlapy.owl_property import OWLObjectProperty
from owlapy.iri import IRI
from owlapy.owl_data_ranges import OWLDataUnionOf
from owlapy.providers import owl_datatype_min_max_inclusive_restriction
from owlapy.owl_literal import IntegerOWLDatatype
from owlapy.class_expression import OWLDataAllValuesFrom

NS = "http://www.benchmark.org/family#"
parser = DLSyntaxParser(NS)
renderer = DLSyntaxObjectRenderer()
has_age = OWLObjectProperty(IRI(NS, 'hasAge'))
c = OWLDataAllValuesFrom(property=has_age, filler=OWLDataUnionOf([owl_datatype_min_max_inclusive_restriction(40, 80), IntegerOWLDatatype]))
rendered_c = renderer.render(c) # ∀ hasAge.(xsd:integer[≥ 40 , ≤ 80] ⊔ xsd:integer)

Could you ensure that we obtain ∀ hasAge.(xsd:integer[≥ 40 ⊓ ≤ 80] ⊔ xsd:integer) after the rendering?

[alkidbaci]

Yes I will update this on the current branch I'm working

[Demirrr]

Great Thank you!