/** * !R(i,j) holds if {i} [= \AR.!{j}=!\ER.{j} */ @Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * for top locality, this might be local */ @Override public void visit(OWLClassAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * R(i,j) holds if {i} [= \ER.{j} */ @Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * for top locality, this might be local */ @Override public void visit(OWLClassAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * R(i,j) holds if {i} [= \ER.{j} */ @Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * R(i,j) holds if {i} [= \ER.{j} */ @Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * R(i,v) holds if {i} [= \ER.{v} */ @Override public void visit(OWLDataPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * R(i,v) holds if {i} [= \ER.{v} */ @Override public void visit(OWLDataPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * R(i,v) holds if {i} [= \ER.{v} */ @Override public void visit(OWLDataPropertyAssertionAxiom axiom) { isLocal = kernel.isEntailed(axiom); }
/** * @param axioms The set of axioms to be tested * @return true if axioms are entailed * @see OWLReasoner#isEntailed(Set) */ default boolean isEntailed(OWLAxiom... axioms) { return isEntailed(Sets.newHashSet(axioms)); }
@Override public void visit(OWLSubClassOfAxiom axiom) { LOGGER.info("Calling the Reasoner"); isLocal = reasoner.isEntailed(axiom); LOGGER.info("DONE Calling the Reasoner. isLocal = {}", Boolean.valueOf(isLocal)); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDataPropertyCharacteristicAxiom> result) { OWLFunctionalDataPropertyAxiom axiom = dataFactory .getOWLFunctionalDataPropertyAxiom(entity); if (reasoner.isEntailed(axiom)) { result.add(axiom); } }
/** * Domain(R) = C is tautology iff ER.Top [= C */ @Override public void visit(OWLObjectPropertyDomainAxiom axiom) { isLocal = true; for (OWLClassExpression e : exprMap.get(axiom)) { isLocal &= kernel.isEntailed(df.getOWLSubClassOfAxiom(e, axiom.getDomain())); } }
protected static void addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, Set<OWLObjectPropertyCharacteristicAxiom> result) { if (reasoner.isEntailmentCheckingSupported(axiom.getAxiomType()) && reasoner.isEntailed(axiom)) { result.add(axiom); } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { isLocal = false; if (pairs(axiom.classExpressions()).map(v -> df.getOWLEquivalentClassesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { isLocal = false; if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentObjectPropertiesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentDataPropertiesAxiom axiom) { isLocal = false; if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentDataPropertiesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { isLocal = false; if (pairs(axiom.classExpressions()).map(v -> df.getOWLEquivalentClassesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLDisjointClassesAxiom axiom) { isLocal = false; if (pairs(axiom.classExpressions()).map(v -> df.getOWLDisjointClassesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom .getSecondProperty().getInverseProperty())) && kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom .getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }