/** * {@inheritDoc} */ public void visit(DataRangeAtom atom) { ATermAppl d = atom.getPredicate(); ATermAppl l = translate( atom.getArgument() ); term = ATermUtils.makeTypeAtom( l ,d ); }
public String toString() { return atom.toString(); }
@Override public void visit(SWRLDataRangeAtom atom) { // set the term field atom.getPredicate().accept( this ); atom.getArgument().accept( this ); swrlAtom = new DataRangeAtom( term, swrlDObject ); }
public void visit(SWRLDataRangeAtom atom) { // set the term field atom.getPredicate().accept( this ); atom.getArgument().accept( this ); swrlAtom = new DataRangeAtom( term, swrlDObject ); }
ATermAppl baseDatatype = (ATermAppl) c.getArgument( 0 ); atoms.add( new DataRangeAtom( baseDatatype, var ) ); atoms.add( new DataRangeAtom( c, var ) ); return; atoms.add( new DataRangeAtom( c, var ) );
/** * {@inheritDoc} */ public void visit(DataRangeAtom atom) { ATermAppl d = atom.getPredicate(); ATermAppl l = translate( atom.getArgument() ); term = ATermUtils.makeTypeAtom( l ,d ); }
public String toString() { return atom.toString(); }
ATermAppl baseDatatype = (ATermAppl) c.getArgument( 0 ); atoms.add( new DataRangeAtom( baseDatatype, var ) ); atoms.add( new DataRangeAtom( c, var ) ); return; atoms.add( new DataRangeAtom( c, var ) );
public void rebind(VariableBinding newBinding) { Literal dValue = newBinding.get( atom.getArgument() ); if( dValue == null ) { throw new InternalReasonerException( "DataRangeBindingHelper cannot generate bindings for " + atom ); } try { hasNext = dtReasoner.isSatisfiable( Collections.singleton( atom.getPredicate() ), dValue.getValue() ); } catch( DatatypeReasonerException e ) { final String msg = "Unexpected datatype reasoner exception: " + e.getMessage(); log.severe( msg ); throw new InternalReasonerException( e ); } }
ATermAppl baseDatatype = (ATermAppl) c.getArgument( 0 ); atoms.add( new DataRangeAtom( baseDatatype, var ) ); atoms.add( new DataRangeAtom( c, var ) ); return; atoms.add( new DataRangeAtom( c, var ) );
public void rebind(VariableBinding newBinding) { Literal dValue = newBinding.get( atom.getArgument() ); if( dValue == null ) { throw new InternalReasonerException( "DataRangeBindingHelper cannot generate bindings for " + atom ); } try { hasNext = dtReasoner.isSatisfiable( Collections.singleton( atom.getPredicate() ), dValue.getValue() ); } catch( DatatypeReasonerException e ) { final String msg = "Unexpected datatype reasoner exception: " + e.getMessage(); log.severe( msg ); throw new InternalReasonerException( e ); } }
ATermAppl baseDatatype = (ATermAppl) c.getArgument( 0 ); atoms.add( new DataRangeAtom( baseDatatype, var ) ); atoms.add( new DataRangeAtom( c, var ) ); return; atoms.add( new DataRangeAtom( c, var ) );
atom = new DataRangeAtom( datatype, argument );