@Test public void testExcludeTautologies() throws Exception { OWLOntology input = loadOntology("/reason_exclude_tautologies.ofn"); OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); Map<String, String> options = new HashMap<>(); options.put("exclude-tautologies", "structural"); ReasonOperation.reason(input, reasonerFactory, options); assertFalse( EntitySearcher.getSuperClasses( dataFactory.getOWLClass(IRI.create("http: .contains(dataFactory.getOWLThing())); }
public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); } }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }  }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }  static Map<String, String> getDefaultOptions(); static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory); static void reason(
      OWLOntology ontology, OWLReasonerFactory reasonerFactory, Map<String, String> options); static OWLReasoner getTautologyChecker(boolean structural); static boolean isTautological(
      OWLAxiom axiom, OWLReasoner tautologyChecker, boolean structural); static void removeRedundantSubClassAxioms(OWLReasoner reasoner); static void removeRedundantSubClassAxioms(
      OWLReasoner reasoner, Map<String, String> options); }
ReasonOperation { public static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory) throws OntologyLogicException, OWLOntologyCreationException, InvalidReferenceException { reason(ontology, reasonerFactory, getDefaultOptions()); }  static Map<String, String> getDefaultOptions(); static void reason(OWLOntology ontology, OWLReasonerFactory reasonerFactory); static void reason(
      OWLOntology ontology, OWLReasonerFactory reasonerFactory, Map<String, String> options); static OWLReasoner getTautologyChecker(boolean structural); static boolean isTautological(
      OWLAxiom axiom, OWLReasoner tautologyChecker, boolean structural); static void removeRedundantSubClassAxioms(OWLReasoner reasoner); static void removeRedundantSubClassAxioms(
      OWLReasoner reasoner, Map<String, String> options);  }