refactor unsat object-checking to leverage object hierarchy, for reasoners that support that#1100

Merged

jamesaoverton merged 3 commits intoontodev:masterfrom jclerman:refactor-unsat-object-checking

May 3, 2023

+99-47

Commits on Feb 28, 2023

refactor unsatisfiable object-checking to leverage object hierarchy, for reasoners that support that
jclerman
committed
Describe ontodev#1100 in CHANGELOG
jclerman
committed

Commits on Mar 1, 2023

remove redundant logger lines
jclerman
committed