protected KnowledgeBase getKB(final KBLoader loader) { try { final String[] inputFiles = getInputFiles(); verbose("There are " + inputFiles.length + " input files:"); for (final String inputFile : inputFiles) { verbose(inputFile); } startTask("loading"); final KnowledgeBase kb = loader.createKB(inputFiles); finishTask("loading"); if (_verbose) { final StringBuilder sb = new StringBuilder(); sb.append("Classes = " + kb.getAllClasses().size() + ", "); sb.append("Properties = " + kb.getProperties().size() + ", "); sb.append("Individuals = " + kb.getIndividuals().size()); verbose("Input size: " + sb); verbose("Expressivity: " + kb.getExpressivity()); } return kb; } catch (final RuntimeException e) { throw new OpenlletCmdException(e); } }
/** * Tests to verify whether PelletOptions.DISABLE_EL_CLASSIFIER = true is respected. (Ticket #461) */ @Test public void testELClassifierDisabled() { final boolean savedValue = OpenlletOptions.DISABLE_EL_CLASSIFIER; try { OpenlletOptions.DISABLE_EL_CLASSIFIER = true; final KBLoader loader = new JenaLoader(); final KnowledgeBase kb = loader.createKB(new String[] { "file:" + PelletTestSuite.base + "misc/ticket-424-test-case.owl" }); assertFalse(SimplifiedELClassifier.class.equals(kb.getTaxonomyBuilder().getClass())); } finally { OpenlletOptions.DISABLE_EL_CLASSIFIER = savedValue; } }
/** * Tests to verify whether PelletOptions.DISABLE_EL_CLASSIFIER = false is respected. (Ticket #461) */ @Test public void testELClassifierEnabled() { classes(_A, _B, _C, _D, _E, _F, _G); objectProperties(_p, _q, _r, _s); final boolean savedValue = OpenlletOptions.DISABLE_EL_CLASSIFIER; try { OpenlletOptions.DISABLE_EL_CLASSIFIER = false; final KBLoader loader = new JenaLoader(); final KnowledgeBase kb = loader.createKB(new String[] { "file:" + PelletTestSuite.base + "misc/ticket-424-test-case.owl" }); assertEquals(SimplifiedELClassifier.class, kb.getTaxonomyBuilder().getClass()); } finally { OpenlletOptions.DISABLE_EL_CLASSIFIER = savedValue; } }
@Test public void testInvalidTransitivity2() { final KBLoader[] loaders = { new JenaLoader() }; for (final KBLoader loader : loaders) { final KnowledgeBase kb = loader.createKB(_base + "invalidTransitivity.owl"); for (final Role r : kb.getRBox().getRoles().values()) if (!ATermUtils.isBuiltinProperty(r.getName())) { assertTrue(r.toString(), r.isSimple()); assertFalse(r.toString(), r.isTransitive()); } for (final ATermAppl p : kb.getObjectProperties()) if (!ATermUtils.isBuiltinProperty(p)) assertFalse(p.toString(), kb.isTransitiveProperty(p)); } }
@Test public void testTicket424() { classes(_A, _B, _C, _D, _E, _F, _G); objectProperties(_p, _q, _r, _s); final KBLoader loader = new JenaLoader(); final KnowledgeBase kb = loader.createKB(new String[] { "file:" + PelletTestSuite.base + "misc/ticket-424-test-case.owl" }); final Taxonomy<ATermAppl> toldTaxonomy = kb.getToldTaxonomy(); try { for (final ATermAppl aTerm : kb.getClasses()) { assertNotNull(toldTaxonomy.getNode(aTerm)); toldTaxonomy.getFlattenedSubs(TermFactory.TOP, false); } } catch (final NullPointerException e) { Log.error(_logger, e); fail("Caught NullPointerException when querying the told taxonomy."); } }