/** * @param sig signature elements */ public Signature(Stream<OWLEntity> sig) { addAll(sig); }
/** * @param sig signature elements */ public Signature(Stream<OWLEntity> sig) { addAll(sig); }
/** * @param sig signature elements */ public Signature(Stream<OWLEntity> sig) { addAll(sig); }
/** * @param sig signature elements */ public Signature(Stream<OWLEntity> sig) { addAll(sig); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> axioms) { exprMap.clear(); Signature s = new Signature(); for (AxiomWrapper q : axioms) { if (q.isUsed()) { exprMap.putAll(q.getAxiom(), asList(getExpr(q.getAxiom()))); s.addAll(q.getAxiom().signature()); } } // register all the objects in the ontology signature Set<OWLAxiom> declarationAxioms = new HashSet<>(); for (OWLEntity p : s.getSignature()) { declarationAxioms.add(df.getOWLDeclarationAxiom(p)); } try { kernel = factory.createReasoner(manager.createOntology(declarationAxioms)); } catch (OWLOntologyCreationException e) { throw new OWLRuntimeException(e); } kernel.precomputeInferences(InferenceType.CLASS_HIERARCHY); }
@Override public void preprocessOntology(Collection<AxiomWrapper> axioms) { exprMap.clear(); Signature s = new Signature(); for (AxiomWrapper q : axioms) { if (q.isUsed()) { exprMap.putAll(q.getAxiom(), asList(getExpr(q.getAxiom()))); s.addAll(q.getAxiom().signature()); } } // register all the objects in the ontology signature Set<OWLAxiom> declarationAxioms = new HashSet<>(); for (OWLEntity p : s.getSignature()) { declarationAxioms.add(df.getOWLDeclarationAxiom(p)); } try { kernel = factory.createReasoner(manager.createOntology(declarationAxioms)); } catch (OWLOntologyCreationException e) { throw new OWLRuntimeException(e); } kernel.precomputeInferences(InferenceType.CLASS_HIERARCHY); }
@Override public void preprocessOntology(Collection<AxiomWrapper> axioms) { exprMap.clear(); Signature s = new Signature(); for (AxiomWrapper q : axioms) { if (q.isUsed()) { exprMap.putAll(q.getAxiom(), asList(getExpr(q.getAxiom()))); s.addAll(q.getAxiom().signature()); } } // register all the objects in the ontology signature Set<OWLAxiom> declarationAxioms = new HashSet<>(); for (OWLEntity p : s.getSignature()) { declarationAxioms.add(df.getOWLDeclarationAxiom(p)); } try { kernel = factory.createReasoner(manager.createOntology(declarationAxioms)); } catch (OWLOntologyCreationException e) { throw new OWLRuntimeException(e); } kernel.precomputeInferences(InferenceType.CLASS_HIERARCHY); }
@Override public void preprocessOntology(Collection<AxiomWrapper> axioms) { exprMap.clear(); Signature s = new Signature(); for (AxiomWrapper q : axioms) { if (q.isUsed()) { exprMap.putAll(q.getAxiom(), asList(getExpr(q.getAxiom()))); s.addAll(q.getAxiom().signature()); } } // register all the objects in the ontology signature Set<OWLAxiom> declarationAxioms = new HashSet<>(); for (OWLEntity p : s.getSignature()) { declarationAxioms.add(df.getOWLDeclarationAxiom(p)); } try { kernel = factory.createReasoner(manager.createOntology(declarationAxioms)); } catch (OWLOntologyCreationException e) { throw new OWLRuntimeException(e); } kernel.precomputeInferences(InferenceType.CLASS_HIERARCHY); }