private Role getRole() { if ( role == null ) role = abox.getRole( pattern.getPredicate() ); return role; }
private Role getRole() { if ( role == null ) role = abox.getRole( pattern.getPredicate() ); return role; }
public void visit(DatavaluedPropertyAtom atom) { tester = new TestDataProperty( atom.getPredicate(), atom.getArgument1(), atom .getArgument2() ); }
public void visit(DatavaluedPropertyAtom atom) { tester = new TestDataProperty( atom.getPredicate(), atom.getArgument1(), atom .getArgument2() ); }
public String toString() { return URIUtils.getLocalName(getPredicate().getName())+"("+getArgument1()+","+getArgument2()+")"; }
public String toString() { return URIUtils.getLocalName(getPredicate().getName())+"("+getArgument1()+","+getArgument2()+")"; }
/** * {@inheritDoc} */ public void visit(DatavaluedPropertyAtom atom) { ATermAppl p = atom.getPredicate(); ATermAppl s = translate( atom.getArgument1() ); ATermAppl o = translate( atom.getArgument2() ); term = ATermUtils.makePropAtom( p, s, o ); }
/** * {@inheritDoc} */ public void visit(DatavaluedPropertyAtom atom) { ATermAppl p = atom.getPredicate(); ATermAppl s = translate( atom.getArgument1() ); ATermAppl o = translate( atom.getArgument2() ); term = ATermUtils.makePropAtom( p, s, o ); }
@Override public void visit(DatavaluedPropertyAtom atom) { NodeProvider s = translator.translateObject(atom.getArgument1()); NodeProvider o = translator.translateObject(atom.getArgument2()); Role r = abox.getRole(atom.getPredicate()); node = new ProductionNode.Edge(strategy, explain, s, r, o); }
public void visit(DatavaluedPropertyAtom atom) { ATermAppl p = atom.getPredicate(); ATermAppl s = binding.get( atom.getArgument1() ).getName(); ATermAppl o = binding.get( atom.getArgument2() ).getName(); addEdge( p, s, o ); }
public void visit(DatavaluedPropertyAtom atom) { ATermAppl p = atom.getPredicate(); ATermAppl s = binding.get( atom.getArgument1() ).getName(); ATermAppl o = binding.get( atom.getArgument2() ).getName(); addEdge( p, s, o ); }
public void visit(DatavaluedPropertyAtom atom) { Pair<ATermAppl, DependencySet> arg1 = translateAtomObject(atom .getArgument1()); Pair<ATermAppl, DependencySet> arg2 = translateAtomObject(atom .getArgument2()); DependencySet mergedDS = ds; if (arg1.second != DependencySet.INDEPENDENT) mergedDS = ds.union(arg1.second, abox.doExplanation()); if (arg2.second != DependencySet.INDEPENDENT) mergedDS = ds.union(arg2.second, abox.doExplanation()); result = new TermTuple(mergedDS, atom.getPredicate(), arg1.first, arg2.first); }