public void visit(IndividualPropertyAtom atom) { tester = new TestIndividualProperty( atom.getPredicate(), atom.getArgument1(), atom .getArgument2() ); }
public void visit(IndividualPropertyAtom atom) { tester = new TestIndividualProperty( 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(IndividualPropertyAtom 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(IndividualPropertyAtom 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(IndividualPropertyAtom 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(IndividualPropertyAtom 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(IndividualPropertyAtom 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(IndividualPropertyAtom 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); }
ATermAppl prop = propAtom.getPredicate(); AtomIObject subj = propAtom.getArgument1(); if( subj instanceof AtomIVariable ) { Set<ATermAppl> domains = getRole( prop ).getDomains();
ATermAppl prop = propAtom.getPredicate(); AtomIObject subj = propAtom.getArgument1(); if( subj instanceof AtomIVariable ) { Set<ATermAppl> domains = getRole( prop ).getDomains();