Fixes an issue where 'redundant' SC axioms to named class objects were being removed because they could be inferred based on SC axioms to anonymous class objects.
Removal happened in reduce -r ELK step of making fbbt-simple.owl - since fbbt-simple.owl is not meant to require a reasoner, we need the named parent classes.
Now named parents are required for all SC inferences based on GCIs.
Fixes an issue where 'redundant' SC axioms to named class objects were being removed because they could be inferred based on SC axioms to anonymous class objects. Removal happened in
reduce -r ELKstep of making fbbt-simple.owl - since fbbt-simple.owl is not meant to require a reasoner, we need the named parent classes. Now named parents are required for all SC inferences based on GCIs.