public void visit(IndividualPropertyAtom atom) { tester = new TestIndividualProperty( atom.getPredicate(), 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(IndividualPropertyAtom atom) { result = abox.getRole( atom.getPredicate() ).isSimple(); }
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(IndividualPropertyAtom atom) { result = abox.getRole( atom.getPredicate() ).isSimple(); }
public void visit(IndividualPropertyAtom atom) { tester = new TestIndividualProperty( atom.getPredicate(), atom.getArgument1(), atom .getArgument2() ); }
RuleAtom atom = new IndividualPropertyAtom( p, var, arg ); atoms.add(atom); RuleAtom atom = new IndividualPropertyAtom( p, var, newVar ); atoms.add(atom); varCount = processClass( newVar, filler, atoms, varCount );
public String toString() { return URIUtils.getLocalName(getPredicate().getName())+"("+getArgument1()+","+getArgument2()+")"; } }
RuleAtom atom = new IndividualPropertyAtom( p, var, arg ); atoms.add(atom); RuleAtom atom = new IndividualPropertyAtom( p, var, newVar ); atoms.add(atom); varCount = processClass( newVar, filler, atoms, varCount );
public String toString() { return URIUtils.getLocalName(getPredicate().getName())+"("+getArgument1()+","+getArgument2()+")"; } }
RuleAtom atom = new IndividualPropertyAtom( p, var, arg ); atoms.add(atom); RuleAtom atom = new IndividualPropertyAtom( p, var, newVar ); atoms.add(atom); varCount = processClass( newVar, filler, atoms, varCount );
/** * {@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 ); }
RuleAtom atom = new IndividualPropertyAtom( p, var, arg ); atoms.add(atom); RuleAtom atom = new IndividualPropertyAtom( p, var, newVar ); atoms.add(atom); varCount = processClass( newVar, filler, atoms, varCount );
/** * {@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(SWRLObjectPropertyAtom atom) { if( atom.getPredicate().isAnonymous() ) { swrlAtom = null; return; } atom.getFirstArgument().accept( this ); AtomIObject subj = swrlIObject; atom.getSecondArgument().accept( this ); AtomIObject obj = swrlIObject; atom.getPredicate().accept( this ); swrlAtom = new IndividualPropertyAtom( term, subj, obj ); }
@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(SWRLObjectPropertyAtom atom) { if( atom.getPredicate().isAnonymous() ) { swrlAtom = null; return; } atom.getFirstArgument().accept( this ); AtomIObject subj = swrlIObject; atom.getSecondArgument().accept( this ); AtomIObject obj = swrlIObject; atom.getPredicate().accept( this ); swrlAtom = new IndividualPropertyAtom( term, subj, obj ); }
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 ); }
kb.addObjectProperty( p ); AtomIObject io2 = convertAtomIObject( i2 ); atom = new IndividualPropertyAtom( p, io1, io2 );
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 ); }