/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public final void prepareReasoner() { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; }
@Override public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties( OWLObjectPropertyExpression pe) { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(pe); }
@Override public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(pe); }
@Override public OWLReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new StructuralReasoner(ontology, config, BufferingMode.NON_BUFFERING); }
public void addNode(Set<T> elements) { addNode(hierarchyInfo.createNode(elements)); }
private void ensurePrepared() { if (!prepared) { prepareReasoner(); } }
@Override protected void handleChanges(Set<OWLAxiom> addAxioms, Set<OWLAxiom> removeAxioms) { handleChanges(addAxioms, removeAxioms, classHierarchyInfo); handleChanges(addAxioms, removeAxioms, objectPropertyHierarchyInfo); handleChanges(addAxioms, removeAxioms, dataPropertyHierarchyInfo); }
/** * Processes the specified signature that represents the signature of * potential changes. * * @param signature The signature * @param added added axioms * @param removed removed axioms */ @SuppressWarnings("unused") public void processChanges(Set<T> signature, Set<OWLAxiom> added, Set<OWLAxiom> removed) { updateForSignature(signature, null); }
/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public final void prepareReasoner() { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; }
@Override public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties( OWLObjectPropertyExpression pe) { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(pe); }
@Override public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(pe); }
/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public final void prepareReasoner() { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; }
@Override public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties( OWLObjectPropertyExpression pe) { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(pe); }
@Override public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(pe); }
/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public final void prepareReasoner() { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; }
@Override public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties( OWLObjectPropertyExpression pe) { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(pe); }
@Override public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(pe); }
/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public void prepareReasoner() throws ReasonerInterruptedException, TimeOutException { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; } @SuppressWarnings("unused")
public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties(OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { // OWLObjectPropertyNode nd = new OWLObjectPropertyNode(); ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(pe); }