Fakulta matematiky, fyziky
a informatiky
Univerzita Komenského v Bratislave

Doktorandské kolokvium KAI - Adams Zekeri (20.5.2024)

v pondelok 20.5.2024 o 13:10 hod. v miestnosti I/9


17. 05. 2024 14.51 hod.
Od: Damas Gruska

Prednášajúci: Adams Zekeri

Názov: Reasoning in higher order description logics towards meta modelling ontology design patterns

Termín: 20.5.2024, 13:10 hod., I/9


Abstrakt:
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. 

Stránka seminára