Weighted Conditional EL^bot 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 E L ⊥ knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases

“…This work is a first step towards the definition of proof methods for reasoning from weighted KBs under a finitely many-valued preferential semantics in more expressive or lightweight DLs. For , the two-valued case has been studied in previous work by Giordano and Theseider Dupré (2021a).…”

An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases

“…This work is a first step towards the definition of proof methods for reasoning from weighted KBs under a finitely many-valued preferential semantics in more expressive or lightweight DLs. For EL, the two-valued case has been studied in [26].…”