Doktorandské kolokvium KAI - Adams Zekeri (18.11.2024)
v pondelok 18.11.2024 o 13:10 hod. v miestnosti I/9
Prednášajúci: Adams Zekeri
Názov: Leveraging Meta-Modelling Language for Ontology Structuring and Validation
Termín: 18.11.2024, 13:10 hod., I/9
Abstrakt:
Knowledge representation (KR) is foundational to AI, providing the structures that enable systems to reason and interpret complex domains, powering applications like expert systems and intelligent agents. Yet, traditional KR methods struggle with the growing complexity in fields like biomedicine, finance, and cybersecurity, where inter-dependencies and rapid change challenge accurate representation. Meta-modeling offers a flexible solution with reusable frameworks that improve adaptability. Ontological meta-modeling, in particular, provides hierarchical structures for more abstract, adaptable models. However, current frameworks often lack standardized formal structures and strong theoretical foundations, limiting practical adoption. Issues in validation and consistency further constrain scalability in real-world settings. Our study addresses some of these gaps by formalizing the PURO meta-modeling language, focusing on theoretical rigor and verification techniques for consistency.