- E-post
- ana.ozaki@uib.no
- Telefonnummer
- +47 55584176
- Besøksadresse
-
HIB - Thormøhlens gate 55
5006 Bergen - Postadresse
-
Postboks 7803
5020 Bergen
Følg meg
Forskning
Publikasjoner
2020
- Ana Ozaki (2020). Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?. (ekstern lenke)
- Emilio Muñoz-Velasco; Ana Ozaki; Martin Theobald (2020). 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy.. (ekstern lenke)
- Ana Ozaki (2020). On the Complexity of Learning Description Logic Ontologies. (ekstern lenke)
- Alessandro Artale; Andrea Mazzullo; Ana Ozaki et al. (2020). On free description logics with definite descriptions. (ekstern lenke)
- Franz Baader; Stefan Borgwardt; Patrick Koopmann et al. (2020). Metric Temporal Description Logics with Interval-Rigid Names. (ekstern lenke)
- Cosimo Persia; Ana Ozaki (2020). On the Learnability of Possibilistic Theories. (ekstern lenke)
- Sabiha Tahrat; German Braun; Alessandro Artale et al. (2020). Automated reasoning in temporal DL-lite. (ekstern lenke)
- Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo et al. (2020). Living without beth and craig: Explicit definitions and interpolants in description logics with nominals. (ekstern lenke)
- Hustadt Ullrich; Ana Ozaki; Clare Dixon (2020). Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. (ekstern lenke)
- Montserrat Hermo; Ana Ozaki (2020). Exact Learning: On the Boundary between Horn and CNF. (ekstern lenke)
- Ana Ozaki (2020). On the Complexity of Learning Description Logic Ontologies. (ekstern lenke)
- Cosimo Damiano Persia; Ana Ozaki (2020). Learning query inseparable ELH ontologies. (ekstern lenke)
- Ana Ozaki; Cosimo Damiano Persia; Andrea Mazzullo (2020). Learning query inseparable ELH ontologies. (ekstern lenke)
- Camille Bourgaux; Ana Ozaki; Rafael Peñaloza et al. (2020). Provenance for the description logic ELH<sup>r</sup>. (ekstern lenke)
- Ana Ozaki; Cosimo Persia; Andrea Mazzullo (2020). Learning Query Inseparable ELH Ontologies. (ekstern lenke)
- Camille Bourgaux; Ana Ozaki; Rafael Peñaloza et al. (2020). Provenance for the Description Logic ELHr. (ekstern lenke)
2021
- Alessandro Artale; Andrea Mazzullo; Ana Ozaki et al. (2021). On Free Description Logics with Definite Descriptions. (ekstern lenke)
- Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo et al. (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. (ekstern lenke)
- Ricardo Guimaraes; Ana Ozaki; Cosimo Damiano Persia et al. (2021). Mining EL Bases with Adaptable Role Depth. (ekstern lenke)
2024
- Ana Helena Ozaki Rivera Castillo (2024). Probing Machine Learning Models in Angluin’s Style. (ekstern lenke)
- Camille Bourgaux; Ricardo Guimarães; Raoul Koudijs et al. (2024). Knowledge Base Embeddings: Semantics and Theoretical Properties. (ekstern lenke)
- Grunde Haraldsson Wesenberg; Ana Helena Ozaki Rivera Castillo (2024). On Road Traffic Prediction with Graph Neural Networks. (ekstern lenke)
- Alessandro Artale; Andrea Mazzullo; Ana Helena Ozaki Rivera Castillo (2024). First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. (ekstern lenke)
- Ana Helena Ozaki Rivera Castillo; Ricardo Guimarães; Victor Lacerda (2024). FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH. (ekstern lenke)
- Ana Helena Ozaki Rivera Castillo; Anum Rehman; Marija Slavkovik (2024). Finding middle grounds for incoherent horn expressions: the moral machine case. (ekstern lenke)
- Ana Helena Ozaki Rivera Castillo (2024). dScience Lunch Seminar: Knowledge Graphs and Ontologies in AI. (ekstern lenke)
- Grunde Haraldsson Wesenberg; Ana Ozaki Rivera Castillo (2024). TØIRoads: A Road Data Model Generation Tool. (ekstern lenke)
- Camille Bourgaux; Ricardo Guimarães; Raoul Koudijs et al. (2024). Knowledge Base Embeddings: Semantics and Theoretical Properties. (ekstern lenke)
2018
- Boris Konev; Carsten Lutz; Ana Ozaki et al. (2018). Exact Learning of Lightweight Description Logic Ontologies. (ekstern lenke)
- Markus Krotzsch; Marx Maximilian; Ana Ozaki et al. (2018). Attributed Description Logics: Reasoning on Knowledge Graphs. (ekstern lenke)
- David Carral; Markus Krotzsch; Marx Maximilian et al. (2018). Preserving Constraints with the Stable Chase. (ekstern lenke)
- Ana Ozaki; Montserrat Hermo (2018). Exact learning of multivalued dependency formulas. (ekstern lenke)
- Ricardo Duarte; Boris Konev; Ana Ozaki (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies. (ekstern lenke)
- Ana Ozaki; Rafael Peñaloza (2018). Consequence-Based Axiom Pinpointing. (ekstern lenke)
2019
- Alessandro Artale; Andrea Mazzullo; Ana Ozaki (2019). Do You Need Infinite Time?. (ekstern lenke)
- Ana Ozaki; Markus Krotzsch; Sebastian Rudolph (2019). Temporally Attributed Description Logics. (ekstern lenke)
- Ana Ozaki; Camille Bourgaux (2019). Querying Attributed DL-Lite Ontologies Using Provenance Semirings. (ekstern lenke)
- Ana Ozaki; Nicola Troquard (2019). Learning Ontologies with Epistemic Reasoning: The EL Case. (ekstern lenke)
- Diego Calvanese; Davide Lanti; Ana Ozaki et al. (2019). Enriching Ontology-based Data Access with Provenance. (ekstern lenke)
2022
- Camille Bourgaux; Ana Ozaki; Rafael Peñaloza (2022). Preface. (ekstern lenke)
- Ricardo Guimarães; Ana Ozaki (2022). Reasoning in Knowledge Graphs. (ekstern lenke)
- Ana Helena Ozaki Rivera Castillo (2022). Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. (ekstern lenke)
- Camille Bourgaux; Ana Ozaki; Rafael Peñaloza (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. (ekstern lenke)
- Cosimo Damiano Persia; Ana Ozaki (2022). Extracting Rules from Neural Networks with Partial Interpretations. (ekstern lenke)
2023
- Ana Ozaki (2023). Extracting Rules from ML models in Angluin’s Style. (ekstern lenke)
- Emilia Przybysz; Bimal Bhattarai; Cosimo Damiano Persia et al. (2023). Verifying Properties of Tsetlin Machines. (ekstern lenke)
- Ricardo Guimaraes; Ana Ozaki; Cosimo Damiano Persia et al. (2023). Mining EL<sup>⊥</sup> Bases with Adaptable Role Depth. (ekstern lenke)
- Anders Imenes; Ricardo Guimaraes; Ana Ozaki (2023). Marrying Query Rewriting and Knowledge Graph Embeddings. (ekstern lenke)
- Ricardo Guimaraes; Ana Ozaki; Jandson S. Ribeiro (2023). Finite Based Contraction and Expansion via Models. (ekstern lenke)
- Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo et al. (2023). Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. (ekstern lenke)
- Anders Imenes; Ricardo Guimarães; Ana Ozaki (2023). Marrying Query Rewriting and Knowledge Graph Embeddings. (ekstern lenke)
- Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki et al. (2023). Non-Normal Modal Description Logics. (ekstern lenke)
- Ana Helena Ozaki Rivera Castillo (2023). Extracting Rules from Machine Learning Models in Angluin’s Style. (ekstern lenke)
- Anna Fensel; Ana Ozaki; Roman Dumitru et al. (2023). Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. (ekstern lenke)
- Sophie Blum; Raoul Koudijs; Ana Ozaki et al. (2023). Learning Horn envelopes via queries from language models. (ekstern lenke)
- Emilia Katarzyna Przybysz; Bimal Bhattarai; Cosimo Damiano Persia et al. (2023). Verifying Properties of Tsetlin Machines. (ekstern lenke)
- Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki et al. (2023). Non-Normal Modal Description Logics. (ekstern lenke)
2025
- Anne-Marie George; Ana Ozaki Rivera Castillo (2025). On Middle Grounds for Preference Statements. (ekstern lenke)
- Balázs Mosolygó; Andreas Lothe Opdahl; Guohui Xiao et al. (2025). Benchmarking Knowledge Graph Question Answering via Complexity-Aware Queries. (ekstern lenke)
- Matteo Magnini; Riccardo Squarcialupi; Martin Tunge Sterri et al. (2025). Actively Learning EL Terminologies from Large Language Models. (ekstern lenke)
- Ana Ozaki Rivera Castillo; Roberto Confalonieri; Ricardo Guimaraes et al. (2025). Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models. (ekstern lenke)
- Ana Ozaki Rivera Castillo; Roberto Confalonieri; Ricardo Guimarães et al. (2025). Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models. (ekstern lenke)
2015
2017
- Ullrich Hustadt; Ana Ozaki; Clare Dixon (2017). Theorem Proving for Metric Temporal Logic over the Naturals. (ekstern lenke)
- Franz Baader; Stefan Borgwardt; Patrick Koopmann et al. (2017). Metric Temporal Description Logics with Interval-Rigid Names. (ekstern lenke)
- Markus Krotzsch; Marx Maximilian; Ana Ozaki et al. (2017). Attributed Description Logics: Ontologies for Knowledge Graphs. (ekstern lenke)
2016
Se en full oversikt over publikasjoner i Cristin
https://dblp.org/pers/o/Ozaki:Ana.html