Publications

For updated information, please see DBLP. 

2020

• Ana Ozaki: Learning Description Logic Ontologies. Five Approaches. Where do they stand? KI 2020

• Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu: Provenance for the Description Logic ELHr IJCAI 2020

• Cosimo Persia, Ana Ozaki: On the Learnability of Possibilistic Theories IJCAI 2020

• Ana Ozaki, Cosimo Persia, Andrea Mazzullo: Learning Query Inseparable ELH Ontologies. AAAI 2020

• Montserrat Hermo, Ana Ozaki: Exact Learning: On the boundary between Horn and CNF. ACM TOCT

2019 

• Ana Ozaki, Markus Krötzsch, Sebastian Rudolph: Temporally Attributed Description Logics.  Description Logic, Theory Combination, and All That

• Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki: On Non-normal Modal Description Logics. Description Logics 2019

• Alessandro Artale, Andrea Mazzullo, and Ana Ozaki: Do You Need Infinite Time? Accepted in IJCAI 2019.

• Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, and Guohui Xiao: Enriching Ontology-based Data Access with Provenance. Accepted in IJCAI 2019.

• Camille Bourgaux, Ana Ozaki: Querying Attributed DL-Lite Ontologies using Provenance Semirings. In AAAI 2019

• Ana Ozaki, Nicolas Troquard: Learning Ontologies with Epistemic Reasoning: The EL Case. In JELIA 2019

2018

• Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter: Exact Learning of Lightweight Description Logic Ontologies.  Journal of Machine Learning Research 2018

• Montserrat Hermo, Ana Ozaki: Exact learning of multivalued dependency formulas. Theor. Comput. Sci. 716: 4-14 (2018) 

• Alessandro Artale, Andrea Mazzullo, Ana Ozaki: Temporal Description Logics over Finite Traces. Description Logics 2018

• Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki: Exact Learning of EL Ontologies. Description Logics 2018

• Ana Ozaki, Markus Krötzsch, Sebastian Rudolph: Happy Ever After: Temporally Attributed Description Logics. Description Logics 2018

• Ana Ozaki, Rafael Peñaloza: Provenance in Ontology-based Data Access. Description Logics 2018

• David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph: Preserving Constraints with the Stable Chase. ICDT 2018: 12:1-12:19

• Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost: Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI 2018: 5309-5313

• Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki: ExactLearner: A Tool for Exact Learning of EL Ontologies. KR 2018: 409-414

• Ana Ozaki, Rafael Peñaloza: Consequence-Based Axiom Pinpointing. SUM 2018: 181-195

• David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph: Preserving Constraints with the Stable Chase. ICDT 2018: 12:1-12:19

2017

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

• Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost; Reasoning with Attributed Description Logics. Description Logics 2017

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

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

•  Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost; Attributed Description Logics: Ontologies for Knowledge Graphs. International Semantic Web Conference (ISWC-2017)

2016

• Gutierrez-Basulto, Víctor; Ozaki, A.; Jung, J., On Metric Temporal Description Logics. In: The 22nd European Conference on Artificial Intelligence (ECAI-16).

• Konev, B.; Ozaki, A.; Wolter, F., A Model for Learning Description Logic Ontologies Based on Exact Learning. In: The Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16).

2015

• Hermo, M.; Ozaki, A., Exact Learning of Multivalued Dependencies. In: Algorithmic Learning Theory (ALT), 2015. (Best Student Paper Award)

• Konev, B. ; Ozaki, A. ; Wolter, F., Exact Learning Description Logic Ontologies from Data Retrieval Examples. In: 28th International Workshop on Description Logics, 2015.

2014

• Konev, B. ; Lutz, C. ; Ozaki, A. ; Wolter, F., Exact Learning of Lightweight Description Logic Ontologies. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) -Vienna Summer of Logic, 2014.

http://dblp.uni-trier.de/pers/hd/o/Ozaki:Ana