Principles of KLM-style defeasible description logics

K Britz, G Casini, T Meyer, K Moodley… - ACM Transactions on …, 2020 - dl.acm.org
The past 25 years have seen many attempts to introduce defeasible-reasoning capabilities
into a description logic setting. Many, if not most, of these attempts are based on preferential …

Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures

L Bozzato, T Eiter, R Kiesel - Theory and Practice of Logic …, 2021 - cambridge.org
Dealing with context-dependent knowledge has led to different formalizations of the notion
of context. Among them is the Contextualized Knowledge Repository (CKR) framework …

[PDF][PDF] Reasoning with justifiable exceptions in contextual hierarchies

L Bozzato, L Serafini, T Eiter - Sixteenth International Conference on …, 2018 - cdn.aaai.org
The problem of representing and reasoning with context dependent knowledge has been of
certain interest since the beginning of AI. Among the available solutions, we consider the …

Knowledge graph OLAP

CG Schuetz, L Bozzato, B Neumayr, M Schrefl… - Semantic …, 2021 - content.iospress.com
A knowledge graph (KG) represents real-world entities and their relationships. The
represented knowledge is often context-dependent, leading to the construction of …

Justifiable exceptions in general contextual hierarchies

L Bozzato, T Eiter, L Serafini - … and Using Context: 11th International and …, 2019 - Springer
The problem of representing and reasoning with context dependent knowledge has recently
gained interest in the area of description logics: among the several proposals, we consider …

Reasoning on with Defeasibility in ASP

L Bozzato, T Eiter, L Serafini - Theory and Practice of Logic …, 2022 - cambridge.org
Reasoning on defeasible knowledge is a topic of interest in the area of description logics, as
it is related to the need of representing exceptional instances in knowledge bases. In this …

[PDF][PDF] Representing Mereological Relations in Weighted Description Logics.

G Sacco, L Bozzato, O Kutz - JOWO, 2022 - ceur-ws.org
Perceptron operators have been recently introduced in Description Logics: they define a
concept by listing features of the concept together with associated weights, as well as a …

Reasoning on Information Term Semantics with ASP for Constructive ELꓕ

L Bozzato, C Fiorentini - CEUR WORKSHOP PROCEEDINGS, 2020 - air.unimi.it
Constructive description logics represent different re-interpretations of description logics
(DLs) under constructive semantics. Constructive description logics have been mostly …

[PDF][PDF] Knowledge Graph OLAP

CG Schuetza, L Bozzatob, B Neumayra, M Schrefla… - semantic-web-journal.net
A knowledge graph (KG) represents real-world entities and their relationships. The
represented knowledge is often context-dependent, leading to the construction of …