Ana Ozaki | DeepAI

AI Chat

Featured Co-authors

Ole-Christoffer Granmo
50 publications
Carsten Lutz
41 publications
Frank Wolter
31 publications
Jeff Z. Pan
29 publications
Diego Calvanese
29 publications
Rafael Penaloza
22 publications
Jean Christoph Jung
18 publications
Samia Touileb
13 publications
Alessandro Artale
13 publications
Marija Slavkovik
12 publications
Andrea Mazzullo
10 publications

∙ 07/23/2023

Non-Normal Modal Description Logics (Extended Version)

Modal logics are widely used in multi-agent systems to reason about acti...

0 Tiziano Dalmonte, et al. ∙

∙ 05/20/2023

Learning Horn Envelopes via Queries from Large Language Models

We investigate an approach for extracting knowledge from trained neural ...

0 Sophie Blum, et al. ∙

∙ 03/25/2023

Verifying Properties of Tsetlin Machines

Tsetlin Machines (TsMs) are a promising and interpretable machine learni...

0 Emilia Przybysz, et al. ∙

∙ 03/06/2023

Finite Based Contraction and Expansion via Models

We propose a new paradigm for Belief Change in which the new information...

0 Ricardo Guimarães, et al. ∙

∙ 09/14/2022

Finding Common Ground for Incoherent Horn Expressions

Autonomous systems that operate in a shared environment with people need...

3 Ana Ozaki, et al. ∙

∙ 06/30/2022

Reasoning in Non-normal Modal Description Logics

Non-normal modal logics, interpreted on neighbourhood models which gener...

0 Tiziano Dalmonte, et al. ∙

∙ 06/02/2022

On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach

We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowl...

0 Johanna Jøsang, et al. ∙

∙ 04/01/2022

Extracting Rules from Neural Networks with Partial Interpretations

We investigate the problem of extracting rules, expressed in Horn logic,...

0 Cosimo Persia, et al. ∙

∙ 02/01/2022

First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

Formalisms based on temporal logics interpreted over finite strict linea...

0 Alessandro Artale, et al. ∙

∙ 08/27/2021

Revising Ontologies via Models: The ALC-formula Case

Most approaches for repairing description logic (DL) ontologies aim at c...

0 Jandson S. Ribeiro, et al. ∙

∙ 08/27/2021

Geometric Models for (Temporally) Attributed Description Logics

In the search for knowledge graph embeddings that could capture ontologi...

0 Camille Bourgaux, et al. ∙

∙ 06/29/2021

On Free Description Logics with Definite Descriptions

Definite descriptions are phrases of the form 'the x such that φ', used ...

0 Alessandro Artale, et al. ∙

∙ 04/02/2021

Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?

The quest for acquiring a formal representation of the knowledge of a do...

0 Ana Ozaki, et al. ∙

∙ 03/25/2021

On the Complexity of Learning Description Logic Ontologies

Ontologies are a popular way of representing domain knowledge, in partic...

0 Ana Ozaki, et al. ∙

∙ 02/21/2021

Mining EL Bases with Adaptable Role Depth

In Formal Concept Analysis, a base for a finite structure is a set of im...

0 Ricardo Guimarães, et al. ∙

∙ 08/17/2020

Automated Reasoning in Temporal DL-Lite

This paper investigates the feasibility of automated reasoning over temp...

14 Sabiha Tahrat, et al. ∙

∙ 07/06/2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals

The Craig interpolation property (CIP) states that an interpolant for an...

0 Alessandro Artale, et al. ∙

∙ 05/06/2020

On the Learnability of Possibilistic Theories

We investigate learnability of possibilistic theories from entailments i...

0 Cosimo Persia, et al. ∙

∙ 01/21/2020

Provenance for the Description Logic ELHr

We address the problem of handling provenance information in ELHr ontolo...

0 Camille Bourgaux, et al. ∙

∙ 11/17/2019

Learning Query Inseparable ELH Ontologies

We investigate the complexity of learning query inseparable ontologies ...

0 Cosimo Persia, et al. ∙

∙ 06/01/2019

Enriching Ontology-based Data Access with Provenance (Extended Version)

Ontology-based data access (OBDA) is a popular paradigm for querying het...

4 Diego Calvanese, et al. ∙

∙ 02/08/2019

Learning Ontologies with Epistemic Reasoning: The EL Case

We investigate the problem of learning description logic ontologies from...

0 Ana Ozaki, et al. ∙

∙ 05/25/2018

Consequence-Based Axiom Pinpointing

Axiom pinpointing refers to the problem of finding the axioms in an onto...

0 Ana Ozaki, et al. ∙

∙ 09/20/2017

Exact Learning of Lightweight Description Logic Ontologies

We study the problem of learning description logic (DL) ontologies in An...

0 Boris Konev, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world