Publications

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.
  • Montserrat Hermo, Ana Ozaki: Exact Learning: On the boundary between Horn and CNF. Accepted for publication in ACM Transactions on Computation Theory
  • 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