Search Results for author: Ana Ozaki

Found 18 papers, 2 papers with code

Rule Learning as Machine Translation using the Atomic Knowledge Bank

1 code implementation5 Nov 2023 Kristoffer Æsøy, Ana Ozaki

Machine learning models, and in particular language models, are being applied to various tasks that require reasoning.

Logical Reasoning Machine Translation +1

Semiring Provenance for Lightweight Description Logics

no code implementations25 Oct 2023 Camille Bourgaux, Ana Ozaki, Rafael Peñaloza

We define a provenance semantics for a language that encompasses several lightweight description logics and show its relationships with semantics that have been defined for ontologies annotated with a specific kind of annotation (such as fuzzy degrees).

Learning Horn Envelopes via Queries from Large Language Models

no code implementations20 May 2023 Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb

We propose a new algorithm that aims at extracting the "tightest Horn approximation" of the target theory and that is guaranteed to terminate in exponential time (in the worst case) and in polynomial time if the target has polynomially many non-Horn examples.

Verifying Properties of Tsetlin Machines

1 code implementation25 Mar 2023 Emilia Przybysz, Bimal Bhattarai, Cosimo Persia, Ana Ozaki, Ole-Christoffer Granmo, Jivitesh Sharma

Then, we show the correctness of our encoding and provide results for the properties: adversarial robustness, equivalence, and similarity of TsMs.

Adversarial Robustness Interpretable Machine Learning +2

Finding Common Ground for Incoherent Horn Expressions

no code implementations14 Sep 2022 Ana Ozaki, Anum Rehman, Philip Turk, Marija Slavkovik

Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy.

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

no code implementations2 Jun 2022 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.

Knowledge Graph Embeddings

Extracting Rules from Neural Networks with Partial Interpretations

no code implementations1 Apr 2022 Cosimo Persia, Ana Ozaki

We investigate the problem of extracting rules, expressed in Horn logic, from neural network models.

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

no code implementations2 Apr 2021 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 learning.

BIG-bench Machine Learning Inductive logic programming +1

On the Complexity of Learning Description Logic Ontologies

no code implementations25 Mar 2021 Ana Ozaki

Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences.

Learning Theory

Automated Reasoning in Temporal DL-Lite

no code implementations17 Aug 2020 Sabiha Tahrat, German Braun, Alessandro Artale, Marco Gario, Ana Ozaki

This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs).

Translation

On the Learnability of Possibilistic Theories

no code implementations6 May 2020 Cosimo Persia, Ana Ozaki

We investigate learnability of possibilistic theories from entailments in light of Angluin's exact learning model.

Provenance for the Description Logic ELHr

no code implementations21 Jan 2020 Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu

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

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

no code implementations1 Jun 2019 Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Penaloza, Guohui Xiao

In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance.

Learning Ontologies with Epistemic Reasoning: The EL Case

no code implementations8 Feb 2019 Ana Ozaki, Nicolas Troquard

We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning.

Epistemic Reasoning

Exact Learning of Lightweight Description Logic Ontologies

no code implementations20 Sep 2017 Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter

We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries.

New Steps on the Exact Learning of CNF

no code implementations10 Sep 2016 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.

Learning Theory

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