/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
@Override public void visit(OWLClassAssertionAxiom axiom) { isLocal = isTopEquivalent(axiom.getClassExpression()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
@Override public void visit(OWLDataPropertyAssertionAxiom axiom) { isLocal = isTopEquivalent(axiom.getObject()); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
@Override public void visit(OWLSubDataPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLSubDataPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLObjectPropertyRangeAxiom axiom) { isLocal = isTopEquivalent(axiom.getRange()) || isBotEquivalent(axiom.getProperty()); }
@Override public void visit(OWLSubDataPropertyOfAxiom axiom) { isLocal = isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty()); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { isLocal = isTopEquivalent(axiom.getRange()) || isBotEquivalent(axiom.getProperty()); }