19 citations · 43 across the 11 of their papers we have counts for
6 papers · 1 filter
Non-Normal Modal Description Logics (Extended Version)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…
Finite Based Contraction and Expansion via Models
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of for…
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated p…
Geometric Models for (Temporally) Attributed Description Logics
Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
In the search for knowledge graph embeddings that could capture ontological knowledge, geometric models of existential rules have been recently introduced. It has been shown that c…
On Free Description Logics with Definite Descriptions
Alessandro Artale, Andrea Mazzullo, Ana Ozaki +1
Definite descriptions are phrases of the form 'the such that ', used to refer to single entities in a context. They are often more meaningful to users than individual names…
Consequence-Based Axiom Pinpointing
Ana Ozaki, Rafael Peñaloza
Axiom pinpointing refers to the problem of finding the axioms in an ontology that are relevant for understanding a given entailment or consequence. One approach for axiom pinpointi…