public String toString() { return getArgument1()+" = "+getArgument2(); }
public void visit(SWRLSameIndividualAtom atom) { atom.getFirstArgument().accept( this ); AtomIObject subj = swrlIObject; atom.getSecondArgument().accept( this ); AtomIObject obj = swrlIObject; swrlAtom = new SameIndividualAtom( subj, obj ); }
@Override public void visit(SWRLSameIndividualAtom atom) { atom.getFirstArgument().accept( this ); AtomIObject subj = swrlIObject; atom.getSecondArgument().accept( this ); AtomIObject obj = swrlIObject; swrlAtom = new SameIndividualAtom( subj, obj ); }
public String toString() { return getArgument1()+" = "+getArgument2(); }
public void addKey(ATermAppl c, Set<ATermAppl> properties) { int varId = 0; Collection<RuleAtom> head = CollectionUtils.makeSet(); Collection<RuleAtom> body = CollectionUtils.makeSet(); AtomIVariable x = new AtomIVariable( "x" ); AtomIVariable y = new AtomIVariable( "y" ); head.add( new SameIndividualAtom( x, y ) ); // Process the body // First add the property atom pairs for each property for( ATermAppl property : properties ) { if( isObjectProperty( property ) ) { AtomIVariable z = new AtomIVariable( "z" + varId ); body.add( new IndividualPropertyAtom( property, x, z ) ); body.add( new IndividualPropertyAtom( property, y, z ) ); } else if( isDatatypeProperty( property ) ) { AtomDVariable z = new AtomDVariable( "z" + varId ); body.add( new DatavaluedPropertyAtom( property, x, z ) ); body.add( new DatavaluedPropertyAtom( property, y, z ) ); } varId++; } // Then add the class atoms for the two subject variables body.add( new ClassAtom( c, x ) ); body.add( new ClassAtom( c, y ) ); addRule( new Rule( head, body ) ); }
public void visit(SameIndividualAtom atom) { tester = new TestDifferent( atom.getArgument1(), atom.getArgument2() ); }
public void addKey(ATermAppl c, Set<ATermAppl> properties) { int varId = 0; Collection<RuleAtom> head = CollectionUtils.makeSet(); Collection<RuleAtom> body = CollectionUtils.makeSet(); AtomIVariable x = new AtomIVariable( "x" ); AtomIVariable y = new AtomIVariable( "y" ); head.add( new SameIndividualAtom( x, y ) ); // Process the body // First add the property atom pairs for each property for( ATermAppl property : properties ) { if( isObjectProperty( property ) ) { AtomIVariable z = new AtomIVariable( "z" + varId ); body.add( new IndividualPropertyAtom( property, x, z ) ); body.add( new IndividualPropertyAtom( property, y, z ) ); } else if( isDatatypeProperty( property ) ) { AtomDVariable z = new AtomDVariable( "z" + varId ); body.add( new DatavaluedPropertyAtom( property, x, z ) ); body.add( new DatavaluedPropertyAtom( property, y, z ) ); } varId++; } // Then add the class atoms for the two subject variables body.add( new ClassAtom( c, x ) ); body.add( new ClassAtom( c, y ) ); addRule( new Rule( head, body ) ); }
public void visit(SameIndividualAtom atom) { tester = new TestDifferent( atom.getArgument1(), atom.getArgument2() ); }
AtomIObject io2 = convertAtomIObject( i2 ); atom = new SameIndividualAtom( io1, io2 );
public void visit(SameIndividualAtom atom) { tester = new TestSame( atom.getArgument1(), atom.getArgument2() ); }
AtomIObject io2 = convertAtomIObject( i2 ); atom = new SameIndividualAtom( io1, io2 );
public void visit(SameIndividualAtom atom) { tester = new TestSame( atom.getArgument1(), atom.getArgument2() ); }
atom = new SameIndividualAtom( argument1, argument2 );
@Override public void visit(SameIndividualAtom atom) { NodeProvider s = translator.translateObject(atom.getArgument1()); NodeProvider o = translator.translateObject(atom.getArgument2()); node = new ProductionNode.SameAs(strategy, explain, s, o); }
/** * {@inheritDoc} */ public void visit(SameIndividualAtom atom) { ATermAppl t1 = translate( atom.getArgument1() ); ATermAppl t2 = translate( atom.getArgument2() ); term = ATermUtils.makeSameAs( t1, t2 ); }
/** * {@inheritDoc} */ public void visit(SameIndividualAtom atom) { ATermAppl t1 = translate( atom.getArgument1() ); ATermAppl t2 = translate( atom.getArgument2() ); term = ATermUtils.makeSameAs( t1, t2 ); }
public void visit(SameIndividualAtom atom) { ATermAppl ind1 = binding.get( atom.getArgument1() ).getName(); ATermAppl ind2 = binding.get( atom.getArgument2() ).getName(); ATermAppl cls = value( ind2 ); addType( ind1, cls ); }
public void visit(SameIndividualAtom atom) { ATermAppl ind1 = binding.get( atom.getArgument1() ).getName(); ATermAppl ind2 = binding.get( atom.getArgument2() ).getName(); ATermAppl cls = value( ind2 ); addType( ind1, cls ); }
public void visit(SameIndividualAtom 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, Compiler.SAME_AS, arg1.first, arg2.first); }