public KnowledgeBase initKB(final long timeout) { final KnowledgeBase kb = new KnowledgeBaseImpl(); kb.setTimeout(timeout * 1000); return kb; }
@Override public void setTimeout(final long timeout) { _reasoner.getKB().setTimeout(timeout); }
@Override public void setTimeout(final long timeout) { ((PelletInfGraph) _model.getGraph()).getKB().setTimeout(timeout); }
@Override protected boolean isConsistent(final OWLOntology o) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(o); reasoner.getKB().setTimeout(_timeout); return reasoner.isConsistent(); }
@Override protected boolean isConsistent(final OWLOntology o) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(o); reasoner.getKB().setTimeout(_timeout); return reasoner.isConsistent(); }
@Override protected boolean isEntailed(final OWLOntology premise, final OWLOntology conclusion) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(premise); reasoner.getKB().setTimeout(_timeout); return reasoner.isEntailed(conclusion.logicalAxioms()); }
@Override protected boolean isEntailed(final OWLOntology premise, final OWLOntology conclusion) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(premise); reasoner.getKB().setTimeout(_timeout); return reasoner.isEntailed(conclusion.logicalAxioms()); }
_kb.setTimeout(ABOX_LIMIT * 1000);
_loader.getKB().getTimers().resetAll(); _kb = _loader.createKB(file + ext); _kb.setTimeout(TBOX_LIMIT * 1000);