ATermAppl zeroDecimal = literal( "0", Datatypes.DECIMAL );
ATermAppl zeroInteger = literal( "0", Datatypes.INTEGER );
ATermAppl zeroByte = literal( "0", Datatypes.BYTE );
ATermAppl zeroFloat = literal( "0", Datatypes.FLOAT );
kb.addClass( A );
kb.addDatatypeProperty( p );
kb.addIndividual( a );
kb.addSubClass( A, some( p, Datatypes.NON_POSITIVE_INTEGER ) );
kb.addSubClass( A, all( p, Datatypes.NON_NEGATIVE_INTEGER ) );