19 citations · 52 across the 21 of their papers we have counts for
24 papers
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…
Learning Horn Envelopes via Queries from Large Language Models
Sophie Blum, Raoul Koudijs, Ana Ozaki +1
We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In th…
Verifying Properties of Tsetlin Machines
Emilia Przybysz, Bimal Bhattarai, Cosimo Persia +3
Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into p…
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…
Finding Common Ground for Incoherent Horn Expressions
Ana Ozaki, Anum Rehman, Philip Turk +1
Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different…
Reasoning in Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, a…
On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach
Johanna Jøsang, Ricardo Guimarães, Ana Ozaki
We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowledge graph (KG) completion with rule mining. More specifically, we mine rules from KGs before and after they…
Extracting Rules from Neural Networks with Partial Interpretations
Cosimo Persia, Ana Ozaki
We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts wit…
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…
Revising Ontologies via Models: The ALC-formula Case
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of unde…
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…
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?
Ana Ozaki
The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology lea…
On the Complexity of Learning Description Logic Ontologies
Ana Ozaki
Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology h…
Mining EL Bases with Adaptable Role Depth
Ricardo Guimarães, Ana Ozaki, Cosimo Persia +1
In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the con…
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat, German Braun, Alessandro Artale +2
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check sat…
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo +2
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explici…
Provenance for the Description Logic ELHr
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza +1
We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and exten…
Learning Query Inseparable ELH Ontologies
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
We investigate the complexity of learning query inseparable ELH ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language Q, we…
Enriching Ontology-based Data Access with Provenance (Extended Version)
Diego Calvanese, Davide Lanti, Ana Ozaki +2
Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult t…
Learning Ontologies with Epistemic Reasoning: The EL Case
Ana Ozaki, Nicolas Troquard
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistem…
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…
Exact Learning of Lightweight Description Logic Ontologies
Boris Konev, Carsten Lutz, Ana Ozaki +1
We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries. We admit membership queries ("is a given subsumption…
New Steps on the Exact Learning of CNF
Montserrat Hermo, Ana Ozaki
A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class ca…