Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach