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 …

[HTML][HTML] Enhancing context knowledge repositories with justifiable exceptions

L Bozzato, T Eiter, L Serafini - Artificial Intelligence, 2018 - Elsevier
Dealing with context dependent knowledge is a well-known area of study that roots in John
McCarthy's seminal work. More recently, the Contextualized Knowledge Repository (CKR) …

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 …

Answer set programming with external source access

T Eiter, T Kaminski, C Redl, P Schüller… - … Interoperability on the …, 2017 - Springer
Access to external information is an important need for Answer Set Programming (ASP),
which is a booming declarative problem solving approach these days. External access not …

The KnowledgeStore: a storage framework for interlinking unstructured and structured knowledge

F Corcoglioniti, M Rospocher, R Cattoni… - … Journal on Semantic …, 2015 - igi-global.com
Although the quantity of structured information on the Web and within organizations is
increasing, the majority of information remains available only in unstructured form. While …

[PDF][PDF] Contextualized Knowledge Repositories with Justifiable Exceptions.

L Bozzato, T Eiter, L Serafini - Description Logics, 2014 - academia.edu
Representation of context dependent knowledge in the Semantic Web has been recently
recognized as a relevant issue that lead to a number of logic based proposals, eg [13–15 …

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 …

Reasoning with justifiable exceptions in contextualized knowledge repositories

L Bozzato, T Eiter, L Serafini - … Logic, Theory Combination, and All That …, 2019 - Springer
Abstract The Contextualized Knowledge Repository (CKR) framework has been proposed
as a description logics-based approach for contextualization of knowledge, a well-known …

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 …