Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel

Entrepreneurship as nexus of change: the syncretistic production of the future

This paper deals with the issue of how the future is created and the mechanisms through which it is produced and conceived. Key to this process appears to be social interaction and how it is used to bring about change. Examining the entrepreneurial context by qualitative longitudinal research techniques, the study considers the situations of three entrepreneurs. It demonstrates that the web of relationships in which individuals are engaged provide the opportunity to enact the environment in new ways, thus producing organizations for the future. It further provides empirical evidence for a Heideggerian reading of strategy-as-practice, extending this conceptualization to account for the temporal dimension

A comparative illustration of foundational ontologies : BORO and UFO

This paper investigates the differences that exist between a 3D and a 4D ontology. We examine these differences by comparing both ontologies through the metaphysical choices each ontology makes and explore the composing characteristics that define them. More specifically, the differences between the ontologies were illustrated through several modeling fragments that were derived from a modeling case presented at the 5thOntoCom workshop. Each of these modeling fragments focused on the metaphysical choices that the ontologies make –Essence and Identity, Relationships and Time. These comparisons highlighted the different ontological approaches and structures that exist between the ontologies. Moreover, depending on the ontology, the resulting conceptual model could differ substantially, confirming the impact and importance of the choice of a certain ontology. The observed differences between both ontologies eventually led us to formulate three discussion points that question the applicability of certain metaphysical choices in certain circumstances, and that can serve as a basis for future discussion or future research studies in the domain of ODCM

Exploring system behavior in a system ontology

Understanding and modeling system behavior is a key aspect of many disciplines, and is crucial when systems are designed to manifest desirable behaviors. In order to grasp system behavior, it is inevitable to address how it emerges from the properties and behaviors of interrelated system components. In pursuit of an understanding of the emergence phenomenon and to account for the nature of emergent system behavior, this paper takes a first step in extending a system core ontology with behavioral aspects. The ontology extension is grounded on the Unified Foundational Ontology and also in system science definitions and disposition theories.</p

Ontology-based model abstraction

In recent years, there has been a growth in the use of reference conceptual models to capture information about complex and critical domains. However, as the complexity of domain increases, so does the size and complexity of the models that represent them. Over the years, different techniques for complexity management in large conceptual models have been developed. In particular, several authors have proposed different techniques for model abstraction. In this paper, we leverage on the ontologically well-founded semantics of the modeling language OntoUML to propose a novel approach for model abstraction in conceptual models. We provide a precise definition for a set of Graph-Rewriting rules that can automatically produce much-reduced versions of OntoUML models that concentrate the models’ information content around the ontologically essential types in that domain, i.e., the so-called Kinds. The approach has been implemented using a model-based editor and tested over a repository of OntoUML models

“The end of The Dreyfus affair”: (Post)Heideggerian meditations on man, machine and meaning

In this paper, the possibility of developing a Heideggerian solution to the Schizophrenia Problem associated with cognitive technologies is investigated. This problem arises as a result of the computer bracketing emotion from cognition during human-computer interaction and results in human psychic self-amputation. It is argued that in order to solve the Schizophrenia Problem, it is necessary to first solve the 'hard problem' of consciousness since emotion is at least partially experiential. Heidegger's thought, particularly as interpreted by Hubert Dreyfus, appears relevant in this regard since it ostensibly provides the basis for solving the 'hard problem' via the construction of artificial systems capable of the emergent generation of conscious experience. However, it will be shown that Heidegger's commitment to a non-experiential conception of nature renders this whole approach problematic, thereby necessitating consideration of alternative, post-Heideggerian approaches to solving the Schizophrenia Problem

Types and taxonomic structures in conceptual modeling:A novel ontological theory and engineering support

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well-founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML's meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel.</p

Social Categories are Natural Kinds, not Objective Types (and Why it Matters Politically)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences

Converting a Controlled Vocabulary into an Ontology: the Case of GEM

The prevalance of digital information raised issues regarding the suitability of conventional library tools for organizing information. The multi-dimensionality of digital resources requires a more versatile and flexible representation to accommodate intelligent information representation and retrieval. Ontologies are used as a solution to such issues in many application domains, mainly due to their ability explicitly to specify the semantics and relations and to express them in a computer understandable language. Conventional knowledge organization tools such as classifications and thesauri resemble ontologies in a way that they define concepts and relationships in a systematic manner, but they are less expressive than ontologies when it comes to machine language. This paper used the controlled vocabulary at the Gateway to Educational Materials (GEM) as an example to address the issues in representing digital resources. The theoretical and methodological framework in this paper serves as the rationale and guideline for converting the GEM controlled vocabulary into an ontology. Compared to the original semantic model of GEM controlled vocabulary, the major difference between the two models lies in the values added through deeper semantics in describing digital objects, both conceptually and relationally

Introduction: Thinking with the Monsoon

This GeoHumanities forum arose out of three symposia convened by the European Research Council funded project, Monsoon Assemblages over a three-year period: Monsoon [+ other] Airs, held in April 2017, Monsoon [+ other] Waters in April 2018, and Monsoon [+ other] Grounds in March 2019. The ambitions of the symposia were to develop new intersectional understandings of monsoonal esthetics, agencies, epistemologies and ontologies, and to engender monsoonal ways of thinking. The papers in this Forum are an outcome of these gatherings, whose full proceedings are available on the Monsoon Assemblages website: http://monass.org/outputs/