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 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.

In Proceedings ICLP 2021, arXiv:2109.07914. arXiv admin note: text overlap with arXiv:2012.13421