Search Results for author: Daniele Theseider Dupré

Found 9 papers, 0 papers with code

Reasoning about actions with EL ontologies with temporal answer sets

no code implementations18 Jul 2021 Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot.

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview

no code implementations10 Jul 2021 Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics.

Common Sense Reasoning

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps

no code implementations11 Mar 2021 Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

In this paper we establish a link between preferential semantics for description logics and self-organising maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation.

Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

no code implementations24 Dec 2020 Laura Giordano, Daniele Theseider Dupré

In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model.

A framework for a modular multi-concept lexicographic closure semantics

no code implementations2 Sep 2020 Laura Giordano, Daniele Theseider Dupré

The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics.

On a plausible concept-wise multipreference semantics and its relations with self-organising maps

no code implementations30 Aug 2020 Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation.

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

no code implementations8 Jun 2020 Laura Giordano, Daniele Theseider Dupré

In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions.

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

no code implementations23 Mar 2018 Laura Giordano, Daniele Theseider Dupré

In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language.

ASP for Minimal Entailment in a Rational Extension of SROEL

no code implementations8 Aug 2016 Laura Giordano, Daniele Theseider Dupré

In this paper we exploit Answer Set Programming (ASP) for reasoning in a rational extension SROEL-R-T of the low complexity description logic SROEL, which underlies the OWL EL ontology language.

Cannot find the paper you are looking for? You can Submit a new open access paper.