Bijeenkomst 20250624
A Whirlwind Tour to OntoUML and its Ecosystem
OntoUML is a modeling language grounded on the foundational ontology UFO (Unified Foundational Ontology). UFO is an axiomatic system constituted by ontological micro-theories dealing with, e.g., types and taxonomic structures (including higher-order types), parthood, objectified intrinsic and relational properties, events and processes, etc. OntoUML is a pattern language whose (higher-granularity) primitives are ontology design patterns formed by: (i) ontological distinctions put forth by these micro-theories; (ii) formal constraints that govern how these distinctions be combined to form conceptually clear, semantically transparent and ontologically sound models. In this talk, I will briefly present the language and its foundations. Moreover, I will briefly discuss several engineering tools accompanying the language, including methodological guidelines, as well as computational tools for model construction, formal verification and validation, anti-pattern detection, code generation, and constraint learning.
Giancarlo Guizzardi is a Full Professor of Software Science and Evolution as well as Chair and Department Head of Semantics, Cybersecurity & Services (SCS) at the University of Twente, The Netherlands. He has also been a Guest Professor at Stockholm University (Sweden), the Technical University of Vienna (Austria), and the University of Trento (Italy). He has been active for nearly three decades in the areas of Formal and Applied Ontology, Conceptual Modelling, and Software Systems Engineering, working with a multi-disciplinary approach in Computer Science that aggregates results from Philosophy, Cognitive Science, Logics and Linguistics. He is the main contributor to the Unified Foundational Ontology (UFO) and to the OntoUML modeling language. Over the years, he has delivered keynote speeches in more than 80 events in these fields. He is currently an associate editor of a number of international journals including Applied Ontology, and Data & Knowledge Engineering, He is also a member of the Advisory Board of the International Association for Ontology and its Applications (IAOA). Finally, he has conducted many technology transfer projects in areas such as Telecommunications, Risk Management, Tourist, e-Government, Digital Journalism, Complex Media Management, Distributed Software Development, Cybersecurity, Healthcare, and Energy.
De business case voor modelleren
Jan Campschroer vraagt aandacht voor ‘de business case’ van modellen. Waarom zou een manager/bestuurder daar in willen investeren? Wat kun je met welke volwassenheid van de organisatie doen? Dit naar aanleiding van het recente besluit actie van de CIO Politie om voorlopig te stoppen met semantisch modelleren en terug te gaan naar logisch modelleren. Hij gaat in op de ontwikkeling van het modelleren van gegevens bij de Politie en de ervaringen die daarbij zijn opgedaan met het MIM. Daarbij speelt de discussie wat een MIM2 model nu is: een ontologie of een conceptueel gegevensmodel. Hij zal uitleggen wat het verschil is tussen die twee soorten modellen. Hij zal ook vertellen over het gebruik van de gUFO; een lichtgewicht implementatie van de Unified Foundational Ontology. Tenslotte wil jan kijken of er animo is om een setje van MIM modellen te maken voor het domein Locatie, waar ook adres en postcode onder vallen. Dat lijkt hem een mooi voorbeeld hoe je MIM kunt toepassen en iets dat binnen de gehele overheid kan worden gebruikt. Jan Campschroer is werkzaam als adviseur en gegevensexpert bij Politie Nederland.