public void print() { print(false); }
public void print(final boolean shortForm) { print(shortForm, "Total"); }
public void print(final Writer pw) { print(pw, false, "Total"); }
public void print(final boolean shortForm) { print(shortForm, "Total"); }
public void print() { print(false); }
public void print(final Writer pw) { print(pw, false, "Total"); }
public void print(final boolean shortForm, final String sortBy) { print(new PrintWriter(System.out), shortForm, sortBy); }
public void print(final boolean shortForm, final String sortBy) { print(new PrintWriter(System.out), shortForm, sortBy); }
public void finish() { if (_verbose) { final StringWriter sw = new StringWriter(); _timers.print(sw, true, null); verbose(""); verbose("Timer summary:"); verbose(sw.toString()); } }
kb.getTimers().print();
results.add(new Result<>(task, mem, time)); kb.getTimers().print();
_kb.getTimers().print();
_kb.getTimers().print();
@Test public void testDayCare() { final String ns = "https://mywebspace.wisc.edu/jpthielman/web/daycareontology#"; final OntModel ontModel = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC, null); ontModel.read(_base + "daycare.swrl.owl"); ontModel.prepare(); final Property exposedTo = ontModel.getProperty(ns + "is_exposed_to"); for (final Resource ind : ontModel.listIndividuals(OWL.Thing).toList()) System.out.println(ind.toString() + ": " + ontModel.getProperty(ind, exposedTo)); ((PelletInfGraph) ontModel.getGraph()).getKB().getTimers().print(); ontModel.close(); }
@Test public void testProtegeFamily() throws Exception { final String ns = "http://a.com/ontology#"; final OntModel ontModel = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC, null); ontModel.read(_base + "family.swrl.owl"); ontModel.prepare(); final Property hasSibling = ontModel.getProperty(ns + "hasSibling"); final StmtIterator iter = ontModel.listStatements((Resource) null, hasSibling, (RDFNode) null); while (iter.hasNext()) { final Statement statement = iter.nextStatement(); System.out.println(statement); } ((PelletInfGraph) ontModel.getGraph()).getKB().getTimers().print(); ontModel.close(); } }
@Test public void testBasicFamily() { final String ns = "http://www.csc.liv.ac.uk/~luigi/ontologies/basicFamily#"; final OntModel ontModel = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC, null); ontModel.read(_base + "basicFamilyReference.owl"); ontModel.read(_base + "basicFamilyRules.owl"); ontModel.prepare(); final Property uncle = ontModel.getProperty(ns + "hasUncle"); for (final Resource ind : ontModel.listIndividuals(OWL.Thing).toList()) System.out.println(ind.toString() + ": " + ontModel.getProperty(ind, uncle)); ((PelletInfGraph) ontModel.getGraph()).getKB().getTimers().print(); ontModel.close(); }
private static void runComparisonUpdateTest(final OWLOntology ontology, final ModuleExtractor modExtractor, // final Collection<OWLAxiom> additions, final Collection<OWLAxiom> deletions, final ReasonerComparisonMethod comparisonMethod) { final OpenlletReasoner unified = OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); final IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner(ontology, modExtractor); OpenlletOptions.USE_CLASSIFICATION_MONITOR = OpenlletOptions.MonitorType.CONSOLE; modular.classify(); comparisonMethod.compare(unified, modular); ontology.add(additions); ontology.remove(deletions); modular.classify(); unified.flush(); unified.getKB().classify(); modular._timers.print(); comparisonMethod.compare(unified, modular); modular.dispose(); }