| 2026 | AAAI | Model Change for Description Logic Concepts. | Ana Ozaki, Jandson S. Ribeiro |
| 2026 | KR | BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization. | Bruno F. Loureno, Hesham Morgan, Ana Ozaki, Aleksandar Pavlovic, Emanuel Sallinger |
| 2025 | AAAI | Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models. | Ana Ozaki, Roberto Confalonieri, Ricardo Guimares, Anders Imenes |
| 2025 | CaiSE | Benchmarking Knowledge Graph Question Answering via Complexity-Aware Queries. | Balzs Mosolyg, Andreas L. Opdahl, Guohui Xiao, Jiaoyan Chen, Ana Ozaki |
| 2025 | ECAI | Actively Learning EL Terminologies from Large Language Models. | Matteo Magnini, Riccardo Squarcialupi, Martin T. Sterri, Ana Ozaki |
| 2025 | IJCAI | On Middle Grounds for Preference Statements. | Anne-Marie George, Ana Ozaki |
| 2024 | ECAI | Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract). | Ana Ozaki |
| 2024 | IJCAI | On the Power and Limitations of Examples for Description Logic Concepts. | Balder ten Cate, Raoul Koudijs, Ana Ozaki |
| 2024 | KR | Knowledge Base Embeddings: Semantics and Theoretical Properties. | Camille Bourgaux, Ricardo Guimares, Raoul Koudijs, Victor Lacerda, Ana Ozaki |
| 2023 | AAAI | Finite Based Contraction and Expansion via Models. | Ricardo Guimares, Ana Ozaki, Jandson S. Ribeiro |
| 2023 | JELIA | Non-Normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
| 2022 | CADE | Reasoning in Non-normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki |
| 2022 | QCE | Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. | Philip Turk, Ana Ozaki |
| 2021 | AAAI | Mining EL Bases with Adaptable Role Depth. | Ricardo Guimares, Ana Ozaki, Cosimo Persia, Baris Sertkaya |
| 2021 | AAAI | Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. | Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2021 | KR | On Free Description Logics with Definite Descriptions. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2020 | AAAI | Learning Query Inseparable εℒℋ Ontologies. | Ana Ozaki, Cosimo Persia, Andrea Mazzullo |
| 2020 | IJCAI | Provenance for the Description Logic ELHr. | Camille Bourgaux, Ana Ozaki, Rafael Pealoza, Livia Predoiu |
| 2020 | IJCAI | On the Learnability of Possibilistic Theories. | Cosimo Persia, Ana Ozaki |
| 2019 | AAAI | Querying Attributed DL-Lite Ontologies Using Provenance Semirings. | Camille Bourgaux, Ana Ozaki |
| 2019 | IJCAI | Do You Need Infinite Time?. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki |
| 2019 | IJCAI | Enriching Ontology-based Data Access with Provenance. | Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Pealoza, Guohui Xiao |
| 2019 | JELIA | Learning Ontologies with Epistemic Reasoning: The | Ana Ozaki, Nicolas Troquard |
| 2018 | ICDT | Preserving Constraints with the Stable Chase. | David Carral, Markus Krtzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph |
| 2018 | IJCAI | Attributed Description Logics: Reasoning on Knowledge Graphs. | Markus Krtzsch, Maximilian Marx, Ana Ozaki, Veronika Thost |
| 2018 | KR | ExactLearner: A Tool for Exact Learning of EL Ontologies. | Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
| 2017 | CADE | Theorem Proving for Metric Temporal Logic over the Naturals. | Ullrich Hustadt, Ana Ozaki, Clare Dixon |
| 2016 | AAAI | A Model for Learning Description Logic Ontologies Based on Exact Learning. | Boris Konev, Ana Ozaki, Frank Wolter |
| 2016 | ECAI | On Metric Temporal Description Logics. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Ana Ozaki |
| 2015 | ALT | Exact Learning of Multivalued Dependencies. | Montserrat Hermo, Ana Ozaki |
| 2015 | IJCAI | Schema.org as a Description Logic. | Andr Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2014 | KR | Exact Learning of Lightweight Description Logic Ontologies. | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |