Leif Harald Karlsen is a Senior Lecturer at the University of Oslo's Department of Informatics, specializing in data and knowledge management. His research focuses on ontology engineering, deductive database systems, and qualitative spatial reasoning. Karlsen has developed formal frameworks for pattern-based ontology engineering and efficient representations of spatial information. His work on OTTR (Reasonable Ontology Templates) provides formal methods for ontology pattern specification and implementation. Karlsen also researches multi-scenario reasoning applications in geological subsurface evaluation.
Ana Ozaki is an Associate Professor at the University of Oslo (full-time) and holds a part-time position at the University of Bergen. Her research focuses on Artificial Intelligence, particularly knowledge representation, machine learning theory, and algorithms for learning logical theories in description logic. Her primary research interests include the formalization of learning phenomena to investigate questions of learnability, complexity, and reducibility. Ozaki specializes in algorithms for learning logical theories using description logic and related formalisms. Her work bridges theoretical foundations with practical applications in knowledge representation. Ozaki's publications predominantly explore themes in computational logic, knowledge representation, and machine learning theory. Recent works focus on ethical AI applications, hybrid logic systems, and knowledge extraction techniques from language models, demonstrating consistent innovation at the intersection of formal methods and practical AI systems. She has led significant research projects including 'Learning Description Logic Ontologies' (funded by RCN) and 'Apprendimento PAC di Ontologie in Logica Descrittiva' (PACO), and has collaborated internationally on graph-based computation models. Ozaki serves the AI community through editorial roles at the Journal of Machine Learning Research and Journal of Web Semantics, and has chaired program committees for major conferences including the International Joint Conference on Rules and Reasoning and the International Description Logic Workshop.
