public static void load(final URL configFile) throws FileNotFoundException, IOException { _logger.fine("Reading Pellet configuration file " + configFile); final Properties properties = new Properties(); properties.load(configFile.openStream()); setOptions(properties); }
public static void load(final URL configFile) throws FileNotFoundException, IOException { _logger.fine("Reading Pellet configuration file " + configFile); final Properties properties = new Properties(); properties.load(configFile.openStream()); setOptions(properties); }
private static void configurePelletOptions() { OpenlletOptions.setOptions(_savedProperties); OpenlletOptions.PROCESS_JENA_UPDATES_INCREMENTALLY = false; OpenlletOptions.ALWAYS_REBUILD_RETE = false; OpenlletOptions.USE_UNIQUE_NAME_ASSUMPTION = true; OpenlletOptions.USE_COMPLETION_QUEUE = false; OpenlletOptions.AUTO_REALIZE = false; }
private static void configurePelletOptions() { OpenlletOptions.setOptions(_savedProperties); OpenlletOptions.PROCESS_JENA_UPDATES_INCREMENTALLY = false; OpenlletOptions.ALWAYS_REBUILD_RETE = false; OpenlletOptions.USE_UNIQUE_NAME_ASSUMPTION = true; OpenlletOptions.USE_COMPLETION_QUEUE = false; OpenlletOptions.AUTO_REALIZE = false; }
private static void restorePelletOptions() { OpenlletOptions.setOptions(_savedProperties); }
private static void restorePelletOptions() { OpenlletOptions.setOptions(_savedProperties); }
@BeforeClass public static void saveOptions() { final Properties newOptions = new Properties(); newOptions.setProperty("USE_TRACING", "true"); savedOptions = OpenlletOptions.setOptions(newOptions); }
@AfterClass public static void restoreOptions() { OpenlletOptions.setOptions(savedOptions); } }
@BeforeClass public static void saveOptions() { final Properties newOptions = new Properties(); newOptions.setProperty("USE_TRACING", "true"); savedOptions = OpenlletOptions.setOptions(newOptions); }
@AfterClass public static void restoreOptions() { OpenlletOptions.setOptions(savedOptions); }
@AfterClass public static void resetTracing() { OpenlletOptions.setOptions(oldOptions); }
@After public void tearDown() { OpenlletOptions.setOptions(savedOptions); }
/** * {@inheritDoc} */ public void runTest() { final Properties oldOptions = OpenlletOptions.setOptions(_pelletOptions); try { assertTrue(EnumSet.of(ResultEnum.PASS, ResultEnum.SKIP).contains(_test.doSingleTest(_tester, _resource).getResult())); } finally { OpenlletOptions.setOptions(oldOptions); } } }
@Override @Before public void before() { _oldOptions = OpenlletOptions.setOptions(_newOptions); super.before(); }
@Before public void setUp() { final Properties newOptions = PropertiesBuilder.singleton("USE_ANNOTATION_SUPPORT", "true"); savedOptions = OpenlletOptions.setOptions(newOptions); }
@BeforeClass public static void enableTracing() { final Properties newOptions = PropertiesBuilder.singleton("USE_TRACING", "true"); oldOptions = OpenlletOptions.setOptions(newOptions); }
@Override @After public void after() { OpenlletOptions.setOptions(_oldOptions); super.after(); }
/** * Tests whether PelletOptions.DISABLE_EL_CLASSIFIER can be properly read from a properties file */ @Test public void testDisableELClassifierOptionRead() { Properties newOptions = new PropertiesBuilder().set("DISABLE_EL_CLASSIFIER", "true").build(); final Properties savedOptions = OpenlletOptions.setOptions(newOptions); try { assertTrue(OpenlletOptions.DISABLE_EL_CLASSIFIER); newOptions = new PropertiesBuilder().set("DISABLE_EL_CLASSIFIER", "false").build(); OpenlletOptions.setOptions(newOptions); assertFalse(OpenlletOptions.DISABLE_EL_CLASSIFIER); } finally { OpenlletOptions.setOptions(savedOptions); } }
@Test // This tests ticket 148 // Canceling realization with REALIZE_BY_INDIVIDUAL=false throws an NPE public void testRealizeByIndividualsNPE() { final Properties newOptions = PropertiesBuilder.singleton("REALIZE_INDIVIDUAL_AT_A_TIME", "true"); final Properties savedOptions = OpenlletOptions.setOptions(newOptions); try { final ProgressMonitor monitor = new TimedProgressMonitor(1); final OWLOntology ont = loadOntology(OWLManager.createOWLOntologyManager(), _base + "food.owl"); final OpenlletReasoner pellet = OpenlletReasonerFactory.getInstance().createReasoner(ont); final KnowledgeBase kb = pellet.getKB(); kb.classify(); kb.getTaxonomyBuilder().setProgressMonitor(monitor); kb.realize(); assertFalse(kb.isRealized()); } finally { OpenlletOptions.setOptions(savedOptions); } }
@Test public void testCRonDTP() { // Test for ticket #143 final Properties newOptions = new PropertiesBuilder().set("SILENT_UNDEFINED_ENTITY_HANDLING", "false").build(); final Properties savedOptions = OpenlletOptions.setOptions(newOptions); try { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl p = term("p"); final ATermAppl c = and(all(p, value(literal("s"))), min(p, 2, value(literal("l")))); kb.addDatatypeProperty(p); assertFalse(kb.isSatisfiable(c)); } finally { OpenlletOptions.setOptions(savedOptions); } }