Refine search
public void visit(OWLObjectAllValuesFrom desc) { hashCode = 193; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
public void visit(OWLObjectAllValuesFrom desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) || isTopEquivalent(desc.getFiller()); break; case TOP_TOP: isTopEquivalent = isTopEquivalent(desc.getFiller()); break; } }
@Override public void visit(OWLObjectAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderObjectAllValuesFrom(OWLObjectAllValuesFrom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withRange(expected.getFiller()); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderObjectAllValuesFrom(OWLObjectAllValuesFrom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withRange(expected.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom object) { visitProperty(object.getProperty()); object.getFiller().accept(this); }
@Override public void visit(OWLObjectAllValuesFrom object) { visitProperty(object.getProperty()); object.getFiller().accept(this); }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom d) { OWLClassExpression filler=getComplementNNF(d.getFiller()); return m_factory.getOWLObjectSomeValuesFrom(d.getProperty(),filler); } @Override
@Override public void visit(OWLObjectAllValuesFrom ce) { sb.append("ObjectAllValuesFrom("); ce.getProperty().accept(this); insertSpace(); ce.getFiller().accept(this); sb.append(')'); }
@Override public void visit(OWLObjectAllValuesFrom desc) { sb.append("ObjectAllValuesFrom("); desc.getProperty().accept(this); insertSpace(); desc.getFiller().accept(this); sb.append(")"); }
@Override public void visit(OWLObjectAllValuesFrom desc) { if (signature.contains(desc.getProperty().getNamedProperty())) { newDescription = df.getOWLObjectAllValuesFrom(desc.getProperty(), this.replaceBottom(desc.getFiller())); } else { newDescription = thing; } }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { OWLClassExpression filler = ce.getFiller().accept(this); if (negated) { return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler); } return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }