Ana Ozaki

Førsteamanuensis - Analytiske systemer og resonnering

Bilde av Ana Helena Ozaki Rivera Castillo

English version of this page

E-post anaoz@ifi.uio.no

Rom 8467

Brukernavn

Besøksadresse Gaustadalléen 23B 0373 Oslo

Postadresse Postboks 1080 Blindern 0316 Oslo

Last ned visittkort

Ana Ozaki works as an associate professor at the University of Oslo (full time) and at the University of Bergen (part-time), Norway. Her research in Artificial Intelligence focuses on knowledge representation and machine learning theory. Ozaki studies the formalisation of the learning phenomenon so that questions involving learnability, complexity, and reducibility can be systematically investigated and understood. She is particularly interested in algorithms for learning logical theories formulated in description logic and related formalisms for knowledge representation.

She serves the AI community as a program committee member for NORA and as a steering committee member of KR and DL. Also, she is a member of the editorial boards of the Journal of Machine Learning Research and the Journal of Web Semantics. Ozaki has recently worked as Program Committee Chair for the 7th International Joint Conference on Rules and Reasoning and the 36th International Description Logic Workshop. Ozaki is the principal investigator of the project Learning Description Logic Ontologies funded by RCN. Also, she has worked as the principal investigator of the project Apprendimento PAC di Ontologie in Logica Descrittiva (PACO) funded by Unibz. She has also collaborated with Montserrat Hermo within the project Modelos y metodos basados en grafos para la computacion en gran scala.

Ozaki has recently been an invited speaker for the 32^nd International Conference on Inductive Logic Programming (ILP), the Symposium of the Norwegian AI Society (NAIS), the TBiLLC 2023 Workshop on Learning and Logic, and for Integreat. She recently co-authored the paper Learning Horn envelopes via queries from language models published at the International Journal of Approximate Reasoning and the paper Mining ℰℒ⊥ Bases with Adaptable Role Depth published at the Journal of Artificial Intelligence Research.

Relevant Links:

Updated publication list by DBLP

Google scholar

Artale, Alessandro; Mazzullo, Andrea & Ozaki Rivera Castillo, Ana Helena (2024). First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Transactions on Computational Logic. ISSN 1529-3785. 25(2), s. 1–43. doi: 10.1145/3651161.
Przybysz, Emilia Katarzyna; Bhattarai, Bimal; Persia, Cosimo Damiano; Ozaki, Ana; Granmo, Ole-Christoffer & Sharma, Jivitesh (2023). Verifying Properties of Tsetlin Machines, 2023 International Symposium on the Tsetlin Machine (ISTM). IEEE conference proceedings. ISSN 979-8-3503-4477-6. doi: 10.1109/ISTM58889.2023.10454997.
Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana & Wolter, Frank (2023). Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Transactions on Computational Logic. ISSN 1529-3785. 24(4). doi: 10.1145/3597301.
Imenes, Anders; Guimaraes, Ricardo & Ozaki, Ana (2023). Marrying Query Rewriting and Knowledge Graph Embeddings. I Fensel, Anna; Ozaki, Ana; Dumitru, Roman & Soylu, Ahmet (Red.), Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. Springer Publishing Company. ISSN 978-3-031-45071-6. s. 126–140. doi: 10.1007/978-3-031-45072-3_9.
Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana & Troquard, Nicolas (2023). Non-Normal Modal Description Logics. I Gaggi, Sara Alice (Red.), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Springer Publishing Company. ISSN 978-3-031-43618-5. s. 306–321. doi: https:/doi.org/10.1007/978-3-031-43619-2_22.
Guimaraes, Ricardo; Ozaki, Ana & S. Ribeiro, Jandson (2023). Finite Based Contraction and Expansion via Models. I Chen, Yiling & Neville, Jennifer (Red.), Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence. AAAI Press. ISSN 978-1-57735-880-0. s. 6389–6397. doi: 10.1609/AAAI.V37I5.25786. Vis sammendrag
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 formulae, that is, a finite base. The focus on finiteness is crucial when we consider limited agents and reasoning algorithms. Moreover, having the input as arbitrary set of models is more general than the usual treatment of formulas as input. In this setting, we define new Belief Change operations akin to traditional expansion and contraction, and we identify the rationality postulates that emerge due to the finite representability requirement. We also analyse different logics concerning compatibility with our framework.
Blum, Sophie; Koudijs, Raoul; Ozaki, Ana & Touileb, Samia (2023). Learning Horn envelopes via queries from language models. International Journal of Approximate Reasoning. ISSN 0888-613X. doi: 10.1016/j.ijar.2023.109026. Fulltekst i vitenarkiv Vis sammendrag
We present an approach for systematically probing a trained neural network to extract a symbolic abstraction of it, represented as a Boolean formula. We formulate this task within Angluin's exact learning framework, where a learner attempts to extract information from an oracle (in our work, the neural network) by posing membership and equivalence queries. We adapt Angluin's algorithm for Horn formula to the case where the examples are labelled w.r.t. an arbitrary Boolean formula in CNF (rather than a Horn formula). In this setting, the goal is to learn the smallest representation of all the Horn clauses implied by a Boolean formula—called its Horn envelope—which in our case correspond to the rules obeyed by the network. Our algorithm terminates in exponential time in the worst case and in polynomial time if the target Boolean formula can be closely approximated by its envelope. We also show that extracting Horn envelopes in polynomial time is as hard as learning CNFs in polynomial time. To showcase the applicability of the approach, we perform experiments on BERT based language models and extract Horn envelopes that expose occupation-based gender biases.
Guimaraes, Ricardo; Ozaki, Ana; Persia, Cosimo Damiano & Sertkaya, Bariş (2023). Mining EL<sup>⊥</sup> Bases with Adaptable Role Depth. The journal of artificial intelligence research. ISSN 1076-9757. 76, s. 883–924. doi: 10.1613/JAIR.1.13777.
Persia, Cosimo Damiano & Ozaki, Ana (2022). Extracting Rules from Neural Networks with Partial Interpretations. Proceedings of the Northern Lights Deep Learning Workshop. 3. doi: 10.7557/18.6301.
Artale, Alessandro; Mazzullo, Andrea; Ozaki, Ana & Wolter, Frank (2021). On Free Description Logics with Definite Descriptions. I Bienvenu, Meghyn; Gerhard, Lakemeyer & Erdem, Esra (Red.), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR2021) . International Joint Conferences on Artificial Intelligence Organization (IJCAI). ISSN 978-1-956792-99-7. s. 63–73.
Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana & Wolter, Frank (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. I Leyton-Brown, Kevin & Mausam, Mausam (Red.), Proceedings of the 35th National Conference on Artificial Intelligence‚ AAAI 2021 (volume 35 no. 7). AAAI Press. ISSN 978-1-57735-866-4. s. 6193–6201.
Guimaraes, Ricardo; Ozaki, Ana; Persia, Cosimo Damiano & Sertkaya, Baris (2021). Mining EL Bases with Adaptable Role Depth. I Leyton-Brown, Kevin & Mausam, Mausam (Red.), Proceedings of the 35th National Conference on Artificial Intelligence‚ AAAI 2021 (volume 35 no. 7). AAAI Press. ISSN 978-1-57735-866-4. s. 6367–6374.
Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana & Wolter, Frank (2020). Living without beth and craig: Explicit definitions and interpolants in description logics with nominals. CEUR Workshop Proceedings. ISSN 1613-0073. 2663.
Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael & Predoiu, Livia (2020). Provenance for the description logic ELH<sup>r</sup>. CEUR Workshop Proceedings. ISSN 1613-0073. 2663.
Tahrat, Sabiha; Braun, German; Artale, Alessandro; Gario, Marco & Ozaki, Ana (2020). Automated reasoning in temporal DL-lite. CEUR Workshop Proceedings. ISSN 1613-0073. 2663.
Ozaki, Ana; Persia, Cosimo Damiano & Mazzullo, Andrea (2020). Learning query inseparable ELH ontologies. CEUR Workshop Proceedings. ISSN 1613-0073. 2663.
Artale, Alessandro; Mazzullo, Andrea; Ozaki, Ana & Wolter, Frank (2020). On free description logics with definite descriptions. CEUR Workshop Proceedings. ISSN 1613-0073. 2663.
Persia, Cosimo Damiano & Ozaki, Ana (2020). Learning query inseparable ELH ontologies. Proceedings of the AAAI Conference on Artificial Intelligence. ISSN 2159-5399.
Ozaki, Ana (2020). On the Complexity of Learning Description Logic Ontologies. I Pieris, Andreas (Red.), Reasoning Web. Declarative Artificial Intelligence. Springer. ISSN 978-3-030-60067-9. s. 36–52. doi: 10.1007/978-3-030-60067-9_2.
Ullrich, Hustadt; Ozaki, Ana & Dixon, Clare (2020). Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. Journal of automated reasoning. ISSN 0168-7433.
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana & Thost, Veronika (2020). Metric Temporal Description Logics with Interval-Rigid Names. ACM Transactions on Computational Logic. ISSN 1529-3785. 21(4). doi: 10.1145/3399443.
Ozaki, Ana; Persia, Cosimo & Mazzullo, Andrea (2020). Learning Query Inseparable ELH Ontologies. I Rossi, Francesca (Red.), The Thirty-Fourth Conference on Artificial Intelligence, AAAI. AAAI Press. ISSN 978-1-57735-823-7. s. 2959–2966.
Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael & Predoiu, Livia (2020). Provenance for the Description Logic ELHr. I Bessiere, Christian (Red.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. International Joint Conferences on Artificial Intelligence. ISSN 978-0-9992411-6-5. s. 1862–1869. doi: 10.24963/ijcai.2020/258.
Persia, Cosimo & Ozaki, Ana (2020). On the Learnability of Possibilistic Theories. I Bessiere, Christian (Red.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. International Joint Conferences on Artificial Intelligence. ISSN 978-0-9992411-6-5. s. 1870–1876. doi: 10.24963/ijcai.2020/259.
Hermo, Montserrat & Ozaki, Ana (2020). Exact Learning: On the Boundary between Horn and CNF. ACM Transactions on Computation Theory. ISSN 1942-3454. 12(1). doi: 10.1145/3369930.
Ozaki, Ana (2020). Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intelligenz. ISSN 0933-1875. 34(3), s. 317–327. doi: 10.1007/s13218-020-00656-9.
Ozaki, Ana; Krotzsch, Markus & Rudolph, Sebastian (2019). Temporally Attributed Description Logics, Description Logic, Theory Combination, and All That. Springer. ISSN 978-3-030-22101-0.
Ozaki, Ana & Troquard, Nicola (2019). Learning Ontologies with Epistemic Reasoning: The EL Case. I Manna, Marco (Red.), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Springer. ISSN 978-3-030-19569-4.
Calvanese, Diego; Lanti, Davide; Ozaki, Ana; Peñaloza, Rafael & Xiao, Guohui (2019). Enriching Ontology-based Data Access with Provenance. I Kraus, Sarit (Red.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019. International Joint Conferences on Artificial Intelligence. ISSN 978-0-9992411-4-1.
Artale, Alessandro; Mazzullo, Andrea & Ozaki, Ana (2019). Do You Need Infinite Time? I Kraus, Sarit (Red.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019. International Joint Conferences on Artificial Intelligence. ISSN 978-0-9992411-4-1. s. 1516–1522.
Ozaki, Ana & Bourgaux, Camille (2019). Querying Attributed DL-Lite Ontologies Using Provenance Semirings, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press. ISSN 978-1-57735-809-1. s. 2719–2726.
Duarte, Ricardo; Konev, Boris & Ozaki, Ana (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies. I Thielscher, Michael (Red.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press. ISSN 978-1-57735-803-9.
Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana & Thost, Veronika (2018). Attributed Description Logics: Reasoning on Knowledge Graphs. I Lang:, Jérôme (Red.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. ijcai.org. ISSN 978-0-9992411-2-7.
Carral, David; Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana & Rudolph, Sebastian (2018). Preserving Constraints with the Stable Chase. I Kimelfeld, Benny (Red.), 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. ISSN 978-3-95977-063-7.
Ozaki, Ana & Peñaloza, Rafael (2018). Consequence-Based Axiom Pinpointing, Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Springer. ISSN 978-3-030-00460-6.
Ozaki, Ana & Hermo, Montserrat (2018). Exact learning of multivalued dependency formulas. Theoretical Computer Science. ISSN 0304-3975.
Konev, Boris; Lutz, Carsten; Ozaki, Ana & Wolter, Frank (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of machine learning research. ISSN 1532-4435.
Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana & Thost, Veronika (2017). Attributed Description Logics: Ontologies for Knowledge Graphs. I D'Amato, C; Fernandez, M; Tamma, V; Lecue, V; Cudré-Mauroux, Philippe; Sequeda, J; Lange, C & Heflin, J (Red.), The Semantic Web – ISWC 2017. 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. Springer. ISSN 9783319682037.
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana & Thost, Veronika (2017). Metric Temporal Description Logics with Interval-Rigid Names, Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Springer. ISSN 978-3-319-66166-7.
Hustadt, Ullrich; Ozaki, Ana & Dixon, Clare (2017). Theorem Proving for Metric Temporal Logic over the Naturals. I de Moura, Leonardo (Red.), Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. Springer. ISSN 978-3-319-63045-8.
Ozaki, Ana; Konev, Boris & Wolter, Frank (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. I Schuurmans, Dale (Red.), Proceedings of the 30th National Conference on Artificial Intelligence‚ AAAI 2016. AAAI Press. ISSN 978-1-57735-760-5.
Basulto, Víctor; Jung, jean & Ozaki, Ana (2016). On Metric Temporal Description Logics. I Kaminka, Gal (Red.), ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). IOS Press. ISSN 978-1-61499-671-2.
Hernich, André; Lutz, Carsten; Ozaki, Ana & Wolter, Frank (2015). Schema.org as a Description Logi. I Wooldridge, Michael (Red.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press. ISSN 978-1-57735-738-4.
Hermo, Montserrat & Ozaki, Ana (2015). Exact Learning of Multivalued Dependencies. I Kamalika, Chaudhuri (Red.), Algorithmic Learning Theory - 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings. Springer. ISSN 978-3-319-24485-3.
Konev, Boris; Lutz, Carsten; Ozaki, Ana & Wolter, Frank (2014). Exact Learning of Lightweight Description Logic Ontologies. I Baral, Chitta (Red.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press. ISSN 978-1-57735-657-8.

Se alle arbeider i Cristin

Fensel, Anna; Ozaki, Ana; Dumitru, Roman & Soylu, Ahmet (2023). Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. Springer Publishing Company. ISBN 978-3-031-45071-6. 14244(1). 269 s.
Bourgaux, Camille; Ozaki, Ana & Peñaloza, Rafael (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. Dagstuhl Publishing. ISBN 978-3-95977-228-0. 99(6). 200 s.
Muñoz-Velasco, Emilio; Ozaki, Ana & Theobald, Martin (2020). 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. ISBN 978-3-95977-167-2. 292 s.

Se alle arbeider i Cristin

Przybysz, Emilia; Bhattarai, Bimal; Persia, Cosimo Damiano; Ozaki, Ana; Granmo, Ole-Christoffer & Sharma, Jivitesh (2023). Verifying Properties of Tsetlin Machines.
Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana & Troquard, Nicolas (2023). Non-Normal Modal Description Logics.
Imenes, Anders; Guimarães, Ricardo & Ozaki, Ana (2023). Marrying Query Rewriting and Knowledge Graph Embeddings.
Ozaki, Ana (2023). Extracting Rules from ML models in Angluin’s Style .
Ozaki Rivera Castillo, Ana Helena (2022). Learning Zero Noise Extrapolation for Deterministic Quantum Circuits.
Guimarães, Ricardo & Ozaki Rivera Castillo, Ana Helena (2022). Reasoning in Knowledge Graphs. I Bourgaux, Camille; Ozaki, Ana & Peñaloza, Rafael (Red.), International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. Dagstuhl Publishing. ISSN 978-3-95977-228-0. doi: 10.4230/OASIcs.AIB.2022.2.
Bourgaux, Camille; Ozaki, Ana & Peñaloza, Rafael (2022). Preface. OpenAccess Series in Informatics. ISSN 2190-6807. 99. doi: 10.4230/OASIcs.AIB.2022.0.
Ozaki, Ana (2020). On the Complexity of Learning Description Logic Ontologies.

Se alle arbeider i Cristin

Publisert 10. juli 2023 09:57 - Sist endret 5. nov. 2023 12:50