@Override public String toString() { return getArgument1() + " != " + getArgument2(); } }
@Override public void accept(final RuleAtomVisitor visitor) { visitor.visit(this); }
public String explainNotUsable(final RuleAtom atom) { _notUsableMessage = null; atom.accept(this); return _notUsableMessage; } }
@Override public boolean matches(final RuleAtom atom) { return ((atom instanceof IndividualPropertyAtom) || (atom instanceof DatavaluedPropertyAtom)) && atom.getPredicate().equals(_role.getName()) && ((BinaryAtom<?, ?, ?>) atom).getArgument1() instanceof AtomIConstant && ((AtomIConstant) ((BinaryAtom<?, ?, ?>) atom).getArgument1()).getValue().equals(_name) && ((BinaryAtom<?, ?, ?>) atom).getArgument2() instanceof AtomConstant && ((AtomConstant) ((BinaryAtom<?, ?, ?>) atom).getArgument2()).getValue().equals(_objectName); }
@Override public String toString() { return getArgument1() + " = " + getArgument2(); } }
@Override public void accept(final AtomObjectVisitor visitor) { visitor.visit(this); }
@Override public boolean equals(final Object other) { if (other instanceof AtomIVariable) return super.equals(other); return false; }
/** * {@inheritDoc} */ @Override public void visit(final AtomIConstant constant) { _term = constant.getValue(); }
@Override public String toString() { return _atom.toString(); } }
@Override public String toString() { return _atom.toString(); }
@Override public boolean matches(final RuleAtom atom) { return ((atom instanceof IndividualPropertyAtom) || (atom instanceof DatavaluedPropertyAtom)) && atom.getPredicate().equals(_role.getName()) && ((BinaryAtom<?, ?, ?>) atom).getArgument1() instanceof AtomIConstant && ((AtomIConstant) ((BinaryAtom<?, ?, ?>) atom).getArgument1()).getValue().equals(_name) && ((BinaryAtom<?, ?, ?>) atom).getArgument2() instanceof AtomConstant && ((AtomConstant) ((BinaryAtom<?, ?, ?>) atom).getArgument2()).getValue().equals(_objectName); }
@Override public void accept(final RuleAtomVisitor visitor) { visitor.visit(this); }
public boolean assertAtom(final RuleAtom atom, final VariableBinding binding, final DependencySet ds, final boolean negated, final ABox abox, final CompletionStrategy strategy) { _asserted = true; _binding = binding; _ds = ds; _negated = negated; _strategy = strategy; _abox = abox; atom.accept(this); return _asserted; }
@Override public void accept(final AtomObjectVisitor visitor) { visitor.visit(this); }
@Override public boolean equals(final Object other) { if (other instanceof AtomIVariable) return super.equals(other); return false; }
@Override public void accept(final RuleAtomVisitor visitor) { visitor.visit(this); }
/** * @param atom * @return maybe true if _atom is something that will be added to the ABox during completion. */ public boolean isSafe(final RuleAtom atom) { atom.accept(this); return result; }
@Override public void accept(final AtomObjectVisitor visitor) { visitor.visit(this); }
@Override public void accept(final RuleAtomVisitor visitor) { visitor.visit(this); } }
@Override public void accept(final RuleAtomVisitor visitor) { visitor.visit(this); } }