Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach

Abstract

Weighted knowledge bases for description logics with typicality have been recently considered under a"concept-wise"multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.