New strategy for determining the ACL subset of an ontology.
  - for each Axiom in an ontology we create an ontology containing only that axiom and ask OWL API if the new ontology is in ALC.
  - this is more expensive, but far more accurate than the previous strategy.