Doktorandské kolokvium KAI - Adams Zekeri (20.5.2024)
v pondelok 20.5.2024 o 13:10 hod. v miestnosti I/9
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.