The Institute of Computer Science at the University of Opole is a place where science meets cutting-edge technologies, and research teams conduct innovative projects that address today’s IT challenges. In our research, we combine theory and practice, aiming to create solutions that have a real impact on the development of digital technologies. The Institute is constantly developing its research facilities, fostering innovation and interdisciplinarity in its research.
CYBERSECIDENT/489912/IV/NCBR/2021
The subject of the project is the development and preparation for implementation of a system for assessing the level of cyber threats in the environment of individual citizens of the Republic of Poland and the cyber security of the entire country.
The system will consist of two parts. The first, for citizens, will use a software tool in the form of a mobile application to search and assess on-demand the security level of IoT and IoE devices located in users’ security domains. The application will use digital identities to identify users and provide reports with recommendations on device threats and ways to improve their security.
The second part of the system will be hosted in the cloud and will perform services for the mobile application, consisting of analyzing the data collected by the applications, preparing reports and recommendations for users. In addition, anonymized data will be collected for deep analysis to detect anomalies, trends and threats in individual security domains and nationwide. Data science techniques including machine learning, statistical methods, game theory, semantic networks and others will be used, enabling the production of threat concentration maps, change histories, trends and threat prediction.
Automation of the Problem of Unification in Description Logics 2022/47/P/ST6/03196
The project belongs to a line of ongoing unification research in the area of description logic. Description logic (DL) is a formalism used for knowledge representation, where knowledge is captured in complex concepts built from a set of basic terms with formal constructs. DL enables the use of automated knowledge base inference, such as intelligent query answering, concept hierarchy computation, and error detection. Knowledge bases (sets of definitions of complex terms), based on DL constructors, are called DL knowledge bases or ontologies.
In this project, we want to design an algorithm to solve unification in DL FLE. FLE has expressive power sufficient to formalize all the knowledge contained in the target ontologies. Examples of such ontologies are.
SNOMED CT, GALEN, FMA, which represent medical, anatomical knowledge and are the intended application area of our research.
The unification problem is given in this context as the input of a pair of complex concepts. The algorithm solving this problem should construct a set of definitions for the hitherto undefined primitive concepts present in the input data, so that with these definitions the concepts in the input data become unified, i.e. identical or equivalent. Then the set of
obtained in this way must be evaluated by an expert who can decide whether they make sense. If the answer is
positive, the ontology can be repaired: redundancies removed and new definitions added. The unification algorithm can thus be of great help to ontology engineers who are constantly working to expand knowledge bases.
Institute of Computer Science
Oleska 48 st.,
45-052 Opole, Poland
tel. +48 77 45 27 205,
e-mail: ii@uni.opole.pl
University of Opole
Kopernika 11a st.
45-040 Opole, Poland
Rectorate
tel.: +48 77 541 59 03
Chancellor’s Office
tel.: +48 77 541 60 70
TAX ID: 754-000-71-79
Regon: 000001382
carefully created by University of Opole