added OWLThing to bidi_provider

dice-group · Sep 30, 2024 · 8cec437 · 8cec437
1 parent cfd4545
commit 8cec437
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/owlapy/owlapi_mapper.py b/owlapy/owlapi_mapper.py
@@ -111,6 +111,7 @@ def __init__(self, ontology: _SO):
  bidi_provider = BidirectionalShortFormProviderAdapter(self.manager, ontology_set, SimpleShortFormProvider())
  entity_checker = ShortFormEntityChecker(bidi_provider)
  bidi_provider.add(self.manager.getOWLDataFactory().getOWLNothing())
+ bidi_provider.add(self.manager.getOWLDataFactory().getOWLThing())
  self.parser = ManchesterOWLSyntaxClassExpressionParser(self.manager.getOWLDataFactory(), entity_checker)
  self.renderer = ManchesterOWLSyntaxOWLObjectRendererImpl()