Talk "OntoUML and OntoObject-Z_based Ontologies: Application to Computer Communication Protocols "

by Mohamed Bettaz

Sat, 02 November 2024 at 02:30 pm in Crete, Greece

Abstract: The goal of this presentation is to: - Build OntoUML ontologies and implement them using OntoObject-Z specifications. - Conceptualize these ontologies with RDF (Resource Description Framework) and OWL (Web Ontology Language). - Take advantage from the “connection” between RDF and related stuff, and symbolic AI (KRR - Knowledge Representation and Reasoning systems). - Illustrate the presented ideas with Computer Communication Protocols (routing protocols). The motivation behind the conducted research work consists in the ability to model highly complex domains (such as computer communication protocols). OntoUML and OntoObject-Z are backed by the Unified Foundational Ontology - UFO (which “modifies” the semantics of UML ( Object-Z) and makes it more “precise”). The construction of ontologies for computer communication protocols is motivated by our interest in domain knowledge, a concept known from the software engineering discipline. Implementing OntoUML models with OntoObject-Z specifications is motivated by the need to: - describe ontologies in a formal descriptive language. - address most of the phases of the SDLC (Software Development Life Cycle) in a language equipped with a refinement method. - express specifications and constraints on them in a single language (evolutionary approach vs discrete approach).