Refine search
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getProperty().getNamedProperty()); break; case TOP_TOP: isLocal = false; break; } }
public void visit(OWLSubObjectPropertyOfAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getSubProperty().getNamedProperty()); break; case TOP_TOP: isLocal = !signature.contains(axiom.getSuperProperty().getNamedProperty()); break; } }
public void visit(OWLObjectHasSelf desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = !signature.contains(desc.getProperty().getNamedProperty()); break; case TOP_TOP: isBottomEquivalent = false; break; } }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getProperty().getNamedProperty()); break; case TOP_TOP: isLocal = false; break; } }
public void visit(OWLObjectHasValue desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = !signature.contains(desc.getProperty().getNamedProperty()); break; case TOP_TOP: isBottomEquivalent = false; break; } } }
public void visit(OWLFunctionalObjectPropertyAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getProperty().getNamedProperty()); break; case TOP_TOP: isLocal = false; break; } }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = false; break; case TOP_TOP: isLocal = !signature.contains(axiom.getProperty().getNamedProperty()); break; } }
public void visit(OWLObjectHasSelf desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = false; break; case TOP_TOP: isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()); break; } }
public void visit(OWLObjectHasValue desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = false; break; case TOP_TOP: isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()); break; } } }
@Override public void visit(OWLObjectMinCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = !getSignature().contains(axiom.getFirstProperty().getNamedProperty()) && !getSignature().contains( axiom.getSecondProperty().getNamedProperty()); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = !getSignature().contains(axiom.getFirstProperty().getNamedProperty()) && !getSignature().contains( axiom.getSecondProperty().getNamedProperty()); }
@Override public void visit(OWLObjectExactCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLObjectMinCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLObjectMaxCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLThing(); } }
@Override public void visit(OWLObjectMaxCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLThing(); } }
@Override public void visit(OWLObjectMinCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLObjectExactCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLTransitiveObjectPropertyAxiom axiom) { isLocal = !getSignature().contains(axiom.getProperty().getNamedProperty()); }
@Override public void visit(OWLObjectMaxCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLThing(); } }