Refine search
@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 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()); }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }
/** * 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 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 expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }
@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 expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }
public void visit(OWLObjectAllValuesFrom desc) { if (isTop(desc.getFiller())) { constructs.add(AL); } else { // TODO: DOUBLE CHECK constructs.add(AL); } desc.getProperty().accept(this); desc.getFiller().accept(this); }
@Override public void visit(OWLObjectAllValuesFrom desc) { desc.getProperty().accept(this); desc.getFiller().accept(this); }
@Override public void visit(OWLObjectAllValuesFrom desc) { desc.getProperty().accept(this); desc.getFiller().accept(this); }
@Override public void visit(OWLObjectAllValuesFrom object) { visitProperty(object.getProperty()); object.getFiller().accept(this); }
@Override public void visit(OWLObjectAllValuesFrom ce) { sb.append("ObjectAllValuesFrom("); ce.getProperty().accept(this); insertSpace(); ce.getFiller().accept(this); sb.append(')'); }
public void visit(OWLObjectAllValuesFrom desc) { sb.append("ObjectAllValuesFrom("); desc.getProperty().accept(this); insertSpace(); desc.getFiller().accept(this); sb.append(")"); }
@Override public Set<OWLClassExpression> visit(OWLObjectAllValuesFrom desc) { Set<OWLClassExpression> descs = new HashSet<>(); for (OWLClassExpression filler : desc.getFiller().accept(this)) { if (!isThing(filler)) { descs.add(factory.getOWLObjectAllValuesFrom(desc.getProperty(), filler)); } } descs.add(getLimit()); return descs; }
@Override public void visit(OWLObjectAllValuesFrom ce) { addConstruct(UNIVERSAL_RESTRICTION); ce.getProperty().accept(this); ce.getFiller().accept(this); }