Ana Ozaki

Orcid: 0000-0002-3889-6207

Affiliations:
  • University of Oslo, Norway
  • University of Bergen, Norway (former)


According to our database1, Ana Ozaki authored at least 84 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Finding middle grounds for incoherent horn expressions: the moral machine case.
Auton. Agents Multi Agent Syst., December, 2024

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
ACM Trans. Comput. Log., April, 2024

TØIRoads: A Road Data Model Generation Tool.
TGDK, 2024

Strong Faithfulness for ELH Ontology Embeddings.
TGDK, 2024

Learning Horn envelopes via queries from language models.
Int. J. Approx. Reason., 2024

FaithEL: Strongly TBox Faithful Knowledge Base Embeddings for <i>E</i>ℒ.
Proceedings of the Rules and Reasoning, 2024

Knowledge Base Embeddings: Semantics and Theoretical Properties.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

On the Power and Limitations of Examples for Description Logic Concepts.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract).
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Eviction and Reception for Description Logic Concepts (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Actively Learning Ontologies from LLMs: First Results (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Trans. Comput. Log., October, 2023

Mining ℰℒ⊥ Bases with Adaptable Role Depth.
J. Artif. Intell. Res., 2023

Rule Learning as Machine Translation using the Atomic Knowledge Bank.
CoRR, 2023

Semiring Provenance for Lightweight Description Logics.
CoRR, 2023

Non-Normal Modal Description Logics (Extended Version).
CoRR, 2023

Learning Horn Envelopes via Queries from Large Language Models.
CoRR, 2023

Verifying Properties of Tsetlin Machines.
CoRR, 2023

Marrying Query Rewriting and Knowledge Graph Embeddings.
Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Eviction and Reception for Description Logic Ontologies (Preliminary Results).
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Non-Normal Modal Description Logics.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Eviction and Reception for Description Logic Ontologies (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Finite Based Contraction and Expansion via Models.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Finding Common Ground for Incoherent Horn Expressions.
CoRR, 2022

On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach.
CoRR, 2022

Learning Zero Noise Extrapolation for Deterministic Quantum Circuits.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

Extracting Rules from Neural Networks with Partial Interpretations.
Proceedings of the 2022 Northern Lights Deep Learning Workshop, 2022

Reasoning in Non-normal Modal Description Logics.
Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

Reasoning in Knowledge Graphs (Invited Paper).
Proceedings of the International Research School in Artificial Intelligence in Bergen, 2022

2021
On Free Description Logics with Definite Descriptions.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Revising Ontologies via Models: The ALC-formula Case.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Geometric Models for (Temporally) Attributed Description Logics.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Exact Learning: On the Boundary between Horn and CNF.
ACM Trans. Comput. Theory, 2020

Metric Temporal Description Logics with Interval-Rigid Names.
ACM Trans. Comput. Log., 2020

Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?
Künstliche Intell., 2020

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations.
J. Autom. Reason., 2020

Automated Reasoning in Temporal DL-Lite.
CoRR, 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
CoRR, 2020

On the Complexity of Learning Description Logic Ontologies.
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Finite vs. Infinite Traces in Temporal Logics.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

On the Learnability of Possibilistic Theories.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Provenance for the Description Logic ELHr.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Automated Reasoning in Temporal DL-Lite (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Learning Query Inseparable ELH Ontologies (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Provenance for the Description Logic ELHr (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Learning Query Inseparable εℒℋ Ontologies.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Learning Query Inseparable ELH Ontologies.
CoRR, 2019

Enriching Ontology-based Data Access with Provenance (Extended Version).
CoRR, 2019

Learning Ontologies with Epistemic Reasoning: The EL Case.
CoRR, 2019

Learning Ontologies with Epistemic Reasoning: The <i>E\!L</i> Case.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Enriching Ontology-based Data Access with Provenance.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Do You Need Infinite Time?.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

On Non-normal Modal Description Logics.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Temporal DL-Lite over Finite Traces (Preliminary Results).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Temporally Attributed Description Logics.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Querying Attributed DL-Lite Ontologies Using Provenance Semirings.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Exact learning of multivalued dependency formulas.
Theor. Comput. Sci., 2018

Consequence-Based Axiom Pinpointing.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

ExactLearner: A Tool for Exact Learning of EL Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Attributed Description Logics: Reasoning on Knowledge Graphs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Preserving Constraints with the Stable Chase.
Proceedings of the 21st International Conference on Database Theory, 2018

Provenance in Ontology-based Data Access.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Happy Ever After: Temporally Attributed Description Logics.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Exact Learning of EL Ontologies.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Temporal Description Logics over Finite Traces.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
Exact Learning of Lightweight Description Logic Ontologies.
J. Mach. Learn. Res., 2017

Attributed Description Logics: Ontologies for Knowledge Graphs.
Proceedings of the Semantic Web - ISWC 2017, 2017

Reasoning with Attributed Description Logics.
Proceedings of the 30th International Workshop on Description Logics, 2017

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).
Proceedings of the 30th International Workshop on Description Logics, 2017

Theorem Proving for Metric Temporal Logic over the Naturals.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
New Steps on the Exact Learning of CNF.
CoRR, 2016

On Metric Temporal Description Logics.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Model for Learning Description Logic Ontologies Based on Exact Learning.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Schema.org as a Description Logic.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Exact Learning Description Logic Ontologies from Data Retrieval Examples.
Proceedings of the 28th International Workshop on Description Logics, 2015

Exact Learning of Multivalued Dependencies.
Proceedings of the Algorithmic Learning Theory - 26th International Conference, 2015


  Loading...