We are pleased to report that Professor Barbara Morawska, leader of the research project “Automation of the Problem of Unification in Description Logics”, took part in the Opole Science Festival—an event organized by the University of Opole.
As part of the festival, Professor Morawska actively contributed to science outreach by introducing young participants such as students of computer science and medical faculties to fundamental concepts of logic and reasoning. Through her engaging presentations, she sparked curiosity and encouraged logical thinking. She showed that logic is not only a core area of mathematics and computer science but also a powerful tool for developing problem-solving skills.
In addition, Professor Morawska presented and promoted her ongoing research project, “Automation of the Problem of Unification in Description Logics,” emphasizing its importance for modern knowledge representation and automated reasoning.
For more information about the festival, visit: https://festiwal.uni.opole.pl
On Saturday, May 31, 2025, during the Opole Science Picnic, Prof. Barbara Morawska, head of the Automation of the Problem of Unification in Description Logics project, actively promoted science among the young participants of the event.
The Opole Science Picnic, organized as part of the 21st Opole Science Festival, attracted hundreds of visitors – students and youths, and science enthusiasts. The stand run by Prof. Morawska was very popular, especially among young people interested in theoretical computer science and mathematical logic.
As part of her presentation, Prof. Morawska discussed issues related to descriptive logics and the automation of the unification process – key topics for the research project. Thanks to the accessible form and interactive elements, even complex concepts became understandable to younger participants.
More information about the event can be found at: Opole Science Picnic 2025
Seminar on Description Logics at the Institute of Computer Science (26 June 2025)
On 26 June 2025, the Institute of Computer Science at the University of Opole hosted a seminar on description logics linked to the UnifDL – Automation of the Problem of Unification in Description Logics project. Talks were delivered by Dr hab. Barbara Morawska, Prof. UO, Dr Sławomir Kost, PhD student Dariusz Marzec, and student Michał Henne, who presented the theoretical foundations of description logics and current research on unification problems in these logics. The event promoted the UnifDL project and encouraged students and young researchers to engage in theoretical computer science and AI-related research.
The goal of the DL workshop is to provide a forum for the presentation of the latest research results in the field of descriptive logics – formalisms used in knowledge representation, ontology engineering, data mining and Semantic Web technologies, among others. The conference brings together researchers from around the world working on both theoretical and applied aspects of the field.
