Ana Ozaki

I am an associate professor at the University of Bergen.

My main research interests are:

  • knowledge representation: with focus on the complexity of reasoning in description logic and related formalisms for knowledge representation; and

  • computational learning theory: in particular, active and passive learning models, and the complexity of learning logical theories.

Contact Information:

My email address is my first name, then dot, then my last name. After that please type the 'at' symbol, followed by 'uib', followed by '.no'. ; )


  • Invited NORA AI Webinar.

  • The paper "Provenance for the Description Logic ELHr" has been accepted at IJCAI 2020 (joint work with Camille Bourgaux, Rafael Peñaloza, and Livia Predoiu).

  • The paper "On the Learnability of Possibilistic Theories" has been accepted at IJCAI 2020 (joint work with Cosimo Persia).

  • The paper "Learning Query Inseparable ELH Ontologies" has been accepted at AAAI 2020 (joint work with Cosimo Persia and Andrea Mazzullo).

  • Invited talk at the IJCAI 2019 Workshop: What can FCA do for Artificial Intelligence?

  • Senior Program Committee member IJCAI 2021

  • Program Committee member IJCAI 2020, KR 2020, AAAI 2020, ECAI 2020, ESWC 2020, DL 2020.