@Override public void visit(final IndividualPropertyAtom atom) { _tester = new TestIndividualProperty(atom.getPredicate(), atom.getArgument1(), atom.getArgument2()); }
body.add(new IndividualPropertyAtom(property, x, z)); body.add(new IndividualPropertyAtom(property, y, z));
@Override public void visit(final IndividualPropertyAtom atom) { result = _abox.getRole(atom.getPredicate()).isSimple(); }
body.add(new IndividualPropertyAtom(property, x, z)); body.add(new IndividualPropertyAtom(property, y, z));
@Override public void visit(final IndividualPropertyAtom atom) { result = _abox.getRole(atom.getPredicate()).isSimple(); }
final RuleAtom atom = new IndividualPropertyAtom(p, var, arg); atoms.add(atom); final RuleAtom atom = new IndividualPropertyAtom(p, var, newVar); atoms.add(atom); varCount = processClass(newVar, filler, atoms, varCount);
@Override public void visit(final IndividualPropertyAtom atom) { _tester = new TestIndividualProperty(atom.getPredicate(), atom.getArgument1(), atom.getArgument2()); }
final RuleAtom atom = new IndividualPropertyAtom(p, var, arg); atoms.add(atom); final RuleAtom atom = new IndividualPropertyAtom(p, var, newVar); atoms.add(atom); varCount = processClass(newVar, filler, atoms, varCount);
@Override public String toString() { return URIUtils.getLocalName(getPredicate().getName()) + "(" + getArgument1() + "," + getArgument2() + ")"; } }
final RuleAtom atom = new IndividualPropertyAtom(p, var, arg); atoms.add(atom); final RuleAtom atom = new IndividualPropertyAtom(p, var, newVar); atoms.add(atom); varCount = processClass(newVar, filler, atoms, varCount);
@Override public String toString() { return URIUtils.getLocalName(getPredicate().getName()) + "(" + getArgument1() + "," + getArgument2() + ")"; } }
final RuleAtom atom = new IndividualPropertyAtom(p, var, arg); atoms.add(atom); final RuleAtom atom = new IndividualPropertyAtom(p, var, newVar); atoms.add(atom); varCount = processClass(newVar, filler, atoms, varCount);
/** * {@inheritDoc} */ @Override public void visit(final IndividualPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = translate(atom.getArgument1()); final ATermAppl o = translate(atom.getArgument2()); _term = ATermUtils.makePropAtom(p, s, o); }
public void testVariableUtils2() { final ATermAppl p = term("p"); final AtomIVariable var1 = new AtomIVariable("var1"), var2 = new AtomIVariable("var2"); final RuleAtom atom = new IndividualPropertyAtom(p, var1, var2); assertIteratorValues(VariableUtils.getVars(atom).iterator(), new Object[] { var1, var2 }); }
/** * {@inheritDoc} */ @Override public void visit(final IndividualPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = translate(atom.getArgument1()); final ATermAppl o = translate(atom.getArgument2()); _term = ATermUtils.makePropAtom(p, s, o); }
@Override public void visit(final SWRLObjectPropertyAtom atom) { if (atom.getPredicate().isAnonymous()) { _swrlAtom = null; return; } atom.getFirstArgument().accept(this); final AtomIObject subj = _swrlIObject; atom.getSecondArgument().accept(this); final AtomIObject obj = _swrlIObject; atom.getPredicate().accept(this); _swrlAtom = new IndividualPropertyAtom(_term, subj, obj); }
@Override public void visit(final IndividualPropertyAtom atom) { final NodeProvider s = _translator.translateObject(atom.getArgument1()); final NodeProvider o = _translator.translateObject(atom.getArgument2()); final Role r = _abox.getRole(atom.getPredicate()); _node = new ProductionNode.Edge(_strategy, _explain, s, r, o); }
@Override public void visit(final SWRLObjectPropertyAtom atom) { if (atom.getPredicate().isAnonymous()) { _swrlAtom = null; return; } atom.getFirstArgument().accept(this); final AtomIObject subj = _swrlIObject; atom.getSecondArgument().accept(this); final AtomIObject obj = _swrlIObject; atom.getPredicate().accept(this); _swrlAtom = new IndividualPropertyAtom(_term, subj, obj); }
@Override public void visit(final IndividualPropertyAtom atom) { final NodeProvider s = _translator.translateObject(atom.getArgument1()); final NodeProvider o = _translator.translateObject(atom.getArgument2()); final Role r = _abox.getRole(atom.getPredicate()); _node = new ProductionNode.Edge(_strategy, _explain, s, r, o); }
@Override public void visit(final SWRLObjectPropertyAtom atom) { if (atom.getPredicate().isAnonymous()) { _swrlAtom = null; return; } atom.getFirstArgument().accept(this); final AtomIObject subj = _swrlIObject; atom.getSecondArgument().accept(this); final AtomIObject obj = _swrlIObject; atom.getPredicate().accept(this); _swrlAtom = new IndividualPropertyAtom(_term, subj, obj); }