Exact Learning of Multivalued Dependencies. - Montserrat Hermo; Ana Ozaki (ALT, 2015)

Exact Learning Description Logic Ontologies from Data Retrieval Examples. - Boris Konev; Ana Ozaki; Frank Wolter (Description Logics, 2015)

Schema.org as a Description Logic. - André Hernich; Carsten Lutz; Ana Ozaki; Frank Wolter (IJCAI, 2015)

A Model for Learning Description Logic Ontologies Based on Exact Learning. - Boris Konev; Ana Ozaki; Frank Wolter (AAAI, 2016)

On Metric Temporal Description Logics. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Ana Ozaki (ECAI, 2016)

New Steps on the Exact Learning of CNF. - Montserrat Hermo; Ana Ozaki (CoRR, 2016)

Theorem Proving for Metric Temporal Logic over the Naturals. - Ullrich Hustadt; Ana Ozaki; Clare Dixon (CADE, 2017)

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Reasoning with Attributed Description Logics. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Attributed Description Logics: Ontologies for Knowledge Graphs. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (ISWC (1), 2017)

Exact Learning of Lightweight Description Logic Ontologies. - Boris Konev; Carsten Lutz; Ana Ozaki; Frank Wolter (J. Mach. Learn. Res., 2017)

Temporal Description Logics over Finite Traces. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (Description Logics, 2018)

Exact Learning of EL Ontologies. - Mario Ricardo Cruz Duarte; Boris Konev; Ana Ozaki (Description Logics, 2018)

Happy Ever After: Temporally Attributed Description Logics. - Ana Ozaki; Markus Krötzsch; Sebastian Rudolph (Description Logics, 2018)

Provenance in Ontology-based Data Access. - Ana Ozaki; Rafael Peñaloza (Description Logics, 2018)

Preserving Constraints with the Stable Chase. - David Carral; Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Sebastian Rudolph (ICDT, 2018)

Attributed Description Logics: Reasoning on Knowledge Graphs. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (IJCAI, 2018)

ExactLearner: A Tool for Exact Learning of EL Ontologies. - Mario Ricardo Cruz Duarte; Boris Konev; Ana Ozaki (KR, 2018)

Consequence-Based Axiom Pinpointing. - Ana Ozaki; Rafael Peñaloza (SUM, 2018)

Exact learning of multivalued dependency formulas. - Montserrat Hermo; Ana Ozaki (Theor. Comput. Sci., 2018)

Querying Attributed DL-Lite Ontologies Using Provenance Semirings. - Camille Bourgaux; Ana Ozaki (AAAI, 2019)

Temporally Attributed Description Logics. - Ana Ozaki; Markus Krötzsch; Sebastian Rudolph (Description Logic, Theory Combination, and All That, 2019)

Temporal DL-Lite over Finite Traces (Preliminary Results). - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (Description Logics, 2019)

Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract). - Camille Bourgaux; Ana Ozaki (Description Logics, 2019)

On Non-normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki (Description Logics, 2019)

Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). - Ana Ozaki; Nicolas Troquard (Description Logics, 2019)

Do You Need Infinite Time?. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (IJCAI, 2019)

Enriching Ontology-based Data Access with Provenance. - Diego Calvanese; Davide Lanti; Ana Ozaki; Rafael Peñaloza; Guohui Xiao 001 (IJCAI, 2019)

Learning Ontologies with Epistemic Reasoning: The E !L Case. - Ana Ozaki; Nicolas Troquard (JELIA, 2019)

Learning Ontologies with Epistemic Reasoning: The EL Case. - Ana Ozaki; Nicolas Troquard (CoRR, 2019)

Enriching Ontology-based Data Access with Provenance (Extended Version). - Diego Calvanese; Davide Lanti; Ana Ozaki; Rafael Peñaloza; Guohui Xiao 001 (CoRR, 2019)

Learning Query Inseparable ELH Ontologies. - Ana Ozaki; Cosimo Persia; Andrea Mazzullo (CoRR, 2019)

Learning Query Inseparable εℒℋ Ontologies. - Ana Ozaki; Cosimo Persia; Andrea Mazzullo (AAAI, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (Description Logics, 2020)

Provenance for the Description Logic ELHr (Extended Abstract). - Camille Bourgaux; Ana Ozaki; Rafael Peñaloza; Livia Predoiu (Description Logics, 2020)

Learning Query Inseparable ELH Ontologies (Extended Abstract). - Ana Ozaki; Cosimo Persia; Andrea Mazzullo (Description Logics, 2020)

Automated Reasoning in Temporal DL-Lite (Extended Abstract). - Sabiha Tahrat; Germán Alejandro Braun; Alessandro Artale; Marco Gario; Ana Ozaki (Description Logics, 2020)

Provenance for the Description Logic ELHr. - Camille Bourgaux; Ana Ozaki; Rafael Peñaloza; Livia Predoiu (IJCAI, 2020)

On the Learnability of Possibilistic Theories. - Cosimo Persia; Ana Ozaki (IJCAI, 2020)

Finite vs. Infinite Traces in Temporal Logics. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (OVERLAY, 2020)

On the Complexity of Learning Description Logic Ontologies. - Ana Ozaki (RW, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (CoRR, 2020)

Automated Reasoning in Temporal DL-Lite. - Sabiha Tahrat; Germán Alejandro Braun; Alessandro Artale; Marco Gario; Ana Ozaki (CoRR, 2020)

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. - Ullrich Hustadt; Ana Ozaki; Clare Dixon (J. Autom. Reason., 2020)

Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? - Ana Ozaki (Künstliche Intell., 2020)

Metric Temporal Description Logics with Interval-Rigid Names. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (ACM Trans. Comput. Log., 2020)

Exact Learning: On the Boundary between Horn and CNF. - Montserrat Hermo; Ana Ozaki (ACM Trans. Comput. Theory, 2020)

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 (AAAI, 2021)

Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract). - Ricardo Guimarães 001; Ana Ozaki; Cosimo Persia; Baris Sertkaya (Description Logics, 2021)

Geometric Models for (Temporally) Attributed Description Logics. - Camille Bourgaux; Ana Ozaki; Jeff Z. Pan (Description Logics, 2021)

Revising Ontologies via Models: The ALC-formula Case. - Jandson S. Ribeiro; Ricardo Guimarães 001; Ana Ozaki (Description Logics, 2021)

Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). - Sabiha Tahrat; Germán Alejandro Braun; Alessandro Artale; Ana Ozaki (Description Logics, 2021)

On Free Description Logics with Definite Descriptions. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki; Frank Wolter (KR, 2021)

Reasoning in Knowledge Graphs (Invited Paper). - Ricardo Guimarães 001; Ana Ozaki (AIB, 2022)

Reasoning in Non-normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki (ARQNL@IJCAR, 2022)

Extracting Rules from Neural Networks with Partial Interpretations. - Cosimo Persia; Ana Ozaki (NLDL, 2022)

Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. - Philip Turk; Ana Ozaki (QCE, 2022)

On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach. - Johanna Jøsang; Ricardo Guimarães 001; Ana Ozaki (CoRR, 2022)

Finding Common Ground for Incoherent Horn Expressions. - Ana Ozaki; Anum Rehman; Philip Turk; Marija Slavkovik 001 (CoRR, 2022)

Finite Based Contraction and Expansion via Models. - Ricardo Guimarães 001; Ana Ozaki; Jandson S. Ribeiro (AAAI, 2023)

Eviction and Reception for Description Logic Ontologies (Extended Abstract). - Ricardo Guimarães 001; Ana Ozaki; Jandson S. Ribeiro (Description Logics, 2023)

Non-Normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (JELIA, 2023)

Eviction and Reception for Description Logic Ontologies (Preliminary Results). - Ricardo Guimarães 001; Ana Ozaki; Jandson S. Ribeiro (NMR, 2023)

Marrying Query Rewriting and Knowledge Graph Embeddings. - Anders Imenes; Ricardo Guimarães 001; Ana Ozaki (RuleML+RR, 2023)

Actively Learning from Machine Learning Models with Queries and Counterexamples. - Ana Ozaki (RW, 2023)

Verifying Properties of Tsetlin Machines. - Emilia Przybysz; Bimal Bhattarai; Cosimo Persia; Ana Ozaki; Ole-Christoffer Granmo; Jivitesh Sharma (CoRR, 2023)

Learning Horn Envelopes via Queries from Large Language Models. - Sophie Blum; Raoul Koudijs; Ana Ozaki; Samia Touileb (CoRR, 2023)

Non-Normal Modal Description Logics (Extended Version). - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (CoRR, 2023)

Semiring Provenance for Lightweight Description Logics. - Camille Bourgaux; Ana Ozaki; Rafael Peñaloza (CoRR, 2023)

Rule Learning as Machine Translation using the Atomic Knowledge Bank. - Kristoffer Æsøy; Ana Ozaki (CoRR, 2023)

Mining ℰℒ⊥ Bases with Adaptable Role Depth. - Ricardo Guimarães 001; Ana Ozaki; Cosimo Persia; Baris Sertkaya (J. Artif. Intell. Res., 2023)

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (ACM Trans. Comput. Log., 2023)

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). - Balder ten Cate; Raoul Koudijs; Ana Ozaki (Description Logics, 2024)

Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract). - Victor Lacerda; Ana Ozaki; Ricardo Guimarães 001 (Description Logics, 2024)

Actively Learning Ontologies from LLMs: First Results (Extended Abstract). - Matteo Magnini; Ana Ozaki; Riccardo Squarcialupi (Description Logics, 2024)

Eviction and Reception for Description Logic Concepts (Extended Abstract). - Ana Ozaki; Jandson S. Ribeiro (Description Logics, 2024)

Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract). - Ana Ozaki (ECAI, 2024)

On the Power and Limitations of Examples for Description Logic Concepts. - Balder ten Cate; Raoul Koudijs; Ana Ozaki (IJCAI, 2024)

Knowledge Base Embeddings: Semantics and Theoretical Properties. - Camille Bourgaux; Ricardo Guimarães 001; Raoul Koudijs; Victor Lacerda; Ana Ozaki (KR, 2024)

FaithEL: Strongly TBox Faithful Knowledge Base Embeddings for Eℒ. - Victor Lacerda; Ana Ozaki; Ricardo Guimarães 001 (RuleML+RR, 2024)

Learning Horn envelopes via queries from language models. - Sophie Blum; Raoul Koudijs; Ana Ozaki; Samia Touileb (Int. J. Approx. Reason., 2024)

Strong Faithfulness for ELH Ontology Embeddings. - Victor Lacerda; Ana Ozaki; Ricardo Guimarães 001 (TGDK, 2024)

TØIRoads: A Road Data Model Generation Tool. - Grunde Haraldsson Wesenberg; Ana Ozaki (TGDK, 2024)

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (ACM Trans. Comput. Log., 2024)

Finding middle grounds for incoherent horn expressions: the moral machine case. - Ana Ozaki; Anum Rehman; Marija Slavkovik 001 (Auton. Agents Multi Agent Syst., 2024)

Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models. - Ana Ozaki; Roberto Confalonieri 001; Ricardo Guimarães 001; Anders Imenes (AAAI, 2025)

Benchmarking Knowledge Graph Question Answering via Complexity-Aware Queries. - Balázs Mosolygó; Andreas L. Opdahl; Guohui Xiao 001; Jiaoyan Chen; Ana Ozaki (CAiSE Workshops, 2025)

On Middle Grounds for Preference Statements. - Anne-Marie George; Ana Ozaki (CoRR, 2025)