kb.addRange( p, ATermUtils.makeRestrictedDatatype( XSDInteger.getInstance().getName(), new ATermAppl[] {
ATermUtils.makeFacetRestriction( Facet.XSD.MIN_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral( Byte.toString( MIN ), XSDByte.getInstance().getName() ) ),
ATermUtils.makeFacetRestriction( Facet.XSD.MAX_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral( Byte.toString( MAX ), XSDByte.getInstance().getName() ) )
}) );
kb.addSubClass( C, card( p, COUNT + 1, ATermUtils.TOP_LIT ) );
kb.addSubClass( D, card( p, COUNT, ATermUtils.TOP_LIT ) );
kb.addSubClass( E, card( p, COUNT - 1, ATermUtils.TOP_LIT ) );
kb.addIndividual( x );
kb.addType( x, D );