Refine search
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (ce.getProperty().equals(property)) { fillers.add(ce.getFiller()); } }
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (ce.getProperty().equals(property)) { fillers.add(ce.getFiller()); } }
@Override public void visit(OWLObjectSomeValuesFrom desc) { hashCode = 239; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (ce.getProperty().equals(property)) { fillers.add(ce.getFiller()); } }
public void visit(OWLObjectSomeValuesFrom restr) { if (restr.getProperty().equals(getObjectProperty())) { OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } }
public void visit(OWLObjectSomeValuesFrom desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = false; break; case TOP_TOP: isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) && isTopEquivalent(desc.getFiller()); break; } }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderObjectSomeValuesFrom(OWLObjectSomeValuesFrom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withRange(expected.getFiller()); }
@Override public void write(OWLOutputStream out, Object o) throws IOException { OWLObjectSomeValuesFrom ce = (OWLObjectSomeValuesFrom) o; out.write(ce.getProperty()); out.write(ce.getFiller()); } },
/** * Builder initialized from an existing object. * * @param expected * the existing object * @param df * data factory */ public BuilderObjectSomeValuesFrom(OWLObjectSomeValuesFrom 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 BuilderObjectSomeValuesFrom(OWLObjectSomeValuesFrom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withRange(expected.getFiller()); }
public void visit(OWLObjectSomeValuesFrom node) { if (node.getProperty().equals(objectProperty)) { NestedIntersectionFlattener flattener = new NestedIntersectionFlattener(); node.getFiller().accept(flattener); fillers.addAll(flattener.getClassExpressions()); } }
@Override public void visit(OWLObjectSomeValuesFrom ce) { sb.append("ObjectSomeValuesFrom("); ce.getProperty().accept(this); insertSpace(); ce.getFiller().accept(this); sb.append(')'); }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { OWLClassExpression filler = ce.getFiller().accept(this); if (negated) { return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler); } return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { if (ce.getFiller().isAnonymous()) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectSomeValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { if (ce.getFiller().isAnonymous()) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectSomeValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { OWLClassExpression filler = ce.getFiller().accept(this); if (negated) { return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler); } return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (isTop(ce.getFiller())) { addConstruct(LIMITED_EXISTENTIAL); } else { addConstruct(FULL_EXISTENTIAL); } ce.getProperty().accept(this); ce.getFiller().accept(this); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectSomeValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLNothing(); } }
public void visit(OWLObjectSomeValuesFrom desc) { if (signature.contains(desc.getProperty().getNamedProperty())) { newClassExpression = df.getOWLObjectSomeValuesFrom(desc.getProperty(), replaceBottom(desc.getFiller())); } else newClassExpression = df.getOWLNothing(); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (isTop(ce.getFiller())) { addConstruct(LIMITED_EXISTENTIAL); } else { addConstruct(FULL_EXISTENTIAL); } ce.getProperty().accept(this); ce.getFiller().accept(this); }