no code implementations • 15 Mar 2024 • Umberto Straccia, Giovanni Casini
On the other hand, Belief Change (BC) is the process of changing beliefs (in our case, in terms of contraction, expansion and revision) taking into account a new piece of knowledge, which possibly may be in contradiction with the current belief.
no code implementations • 1 Mar 2023 • Franco Alberto Cardillo, Franca Debole, Umberto Straccia
PN-OWL then aggregates the fuzzy inclusion axioms learnt at the P-stage and the N-stage by combining them via aggregation functions to allow for a final decision whether an individual is instance of T or not.
no code implementations • 15 Feb 2022 • Giovanni Casini, Umberto Straccia
We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems.
no code implementations • 11 Feb 2022 • Umberto Straccia, Giovanni Casini
The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e. g."antipyretics are drugs").
no code implementations • 28 Jun 2021 • Giovanni Casini, Umberto Straccia
Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs).
no code implementations • 3 Aug 2020 • Franco Alberto Cardillo, Umberto Straccia
OWL ontologies are nowadays a quite popular way to describe structured knowledge in terms of classes, relations among classes and class instances.
no code implementations • 15 Jul 2020 • Giovanni Casini, Umberto Straccia
In this work, we show how to integrate RC within the triple language RDFS, which together with OWL2 are the two major standard semantic web ontology languages.
no code implementations • 21 Mar 2019 • Faranak Sobhani, Umberto Straccia
The detection and representation of events is a critical element in automated surveillance systems.
no code implementations • 14 Nov 2018 • Umberto Straccia
We present the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such as triple languages RDF/RDFS, conceptual languages of the OWL 2 family and rule languages.
no code implementations • 22 Feb 2018 • Giovanni Casini, Umberto Straccia, Thomas Meyer
We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability.