@Test public void testExternal() throws Exception { OWLOntology importOnt1 = loadOntology("/intersection.omn"); IRI oiri = importOnt1.getOntologyID().getOntologyIRI().orNull(); if (oiri == null) { throw new Exception("Ontology 'intersection.omn' does not have an IRI"); } OWLOntology mainOnt = loadOntology("/simple.owl"); OWLOntologyManager mgr = mainOnt.getOWLOntologyManager(); OWLOntology importOnt = mgr.createOntology(oiri); mgr.addAxioms(importOnt, importOnt1.getAxioms()); OWLImportsDeclaration importsDecl = mgr.getOWLDataFactory().getOWLImportsDeclaration(oiri); AddImport ch = new AddImport(mainOnt, importsDecl); mgr.applyChange(ch); OWLReasonerFactory reasonerFactory = new ElkReasonerFactory(); Map<String, String> opts = new HashMap<>(); opts.put("exclude-external-entities", "true"); ReasonOperation.reason(mainOnt, reasonerFactory, opts); assertFalse(checkContains(mainOnt, "SubClassOf(<http: opts.put("exclude-external-entities", "false"); ReasonOperation.reason(mainOnt, reasonerFactory, opts); assertTrue(checkContains(mainOnt, "SubClassOf(<http: }
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);  }