@Override public void visit(final IndividualPropertyAtom atom) { result = _abox.getRole(atom.getPredicate()).isSimple(); }
@Override public void visit(final IndividualPropertyAtom atom) { result = _abox.getRole(atom.getPredicate()).isSimple(); }
@Override public void visit(final IndividualPropertyAtom atom) { _tester = new TestIndividualProperty(atom.getPredicate(), atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final IndividualPropertyAtom atom) { _tester = new TestIndividualProperty(atom.getPredicate(), atom.getArgument1(), atom.getArgument2()); }
@Override public String toString() { return URIUtils.getLocalName(getPredicate().getName()) + "(" + getArgument1() + "," + getArgument2() + ")"; } }
@Override public String toString() { return URIUtils.getLocalName(getPredicate().getName()) + "(" + getArgument1() + "," + getArgument2() + ")"; } }
/** * {@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); }
/** * {@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 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 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 IndividualPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
@Override public void visit(final IndividualPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
final ATermAppl prop = propAtom.getPredicate();
final ATermAppl prop = propAtom.getPredicate();