Faculty of Mathematics, Physics
and Informatics
Comenius University Bratislava

Doctoral colloquium - Adams Zekeri (20.5.2024)

Monday 20.5.2024 at 13:10, Lecture room I/9

17. 05. 2024 16.48 hod.
By: Damas Gruska

Adams Zekeri:
Reasoning in higher order description logics towards meta modelling ontology design patterns

Integrating higher-order description logic (DLs) with meta-modeling techniques has emerged as a promising approach for enhancing the design and development of ontology-based systems. By leveraging the expressive power of higher-order logic, practitioners can capture complex relationships and dependencies within ontological models, enabling more precise and comprehensive representations of domain knowledge. Furthermore, the use of meta-modeling techniques, including conceptual-oriented and description logic approaches, facilitates the systematic organization and reuse of ontology design patterns across different domains and applications. In this presentation, we explore the conceptual meta-modeling ontology design patterns using the PURO language in relation to MLT. Through the utilization of the PURO Modeler tool, we demonstrate the practical significance of this language, employing segments from the well-known knowledge graph, Wikidata, as illustrative examples. Additionally, we delve into the current state-of-the-art in description logic (DLs) meta-modeling ontology design patterns and discuss future directions in this design pattern space. 

More information