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

A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification

We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework

On the role of domain ontologies in the design of domain-specific visual modeling langages

Domain-Specific Visual Modeling Languages should provide notations and abstractions that suitably support problem solving in well-defined application domains. From their user’s perspective, the language’s modeling primitives must be intuitive and expressive enough in capturing all intended aspects of domain conceptualizations. Over the years formal and explicit representations of domain conceptualizations have been developed as domain ontologies. In this paper, we show how the design of these languages can benefit from conceptual tools developed by the ontology engineering community

The Space Object Ontology

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness

Ontological foundations for structural conceptual models

In this thesis, we aim at contributing to the theory of conceptual modeling and ontology representation. Our main objective here is to provide ontological foundations for the most fundamental concepts in conceptual modeling. These foundations comprise a number of ontological theories, which are built on established work on philosophical ontology, cognitive psychology, philosophy of language and linguistics. Together these theories amount to a system of categories and formal relations known as a foundational ontolog

Inferring Ontological Categories of OWL Classes Using Foundational Rules

Several efforts that leverage the tools of formal ontology (such as OntoClean, OntoUML, and UFO) have demonstrated the fruitfulness of considering key metaproperties of classes in ontology engineering. These metaproperties include sortality, rigidity, and external dependence, and give rise to many fine-grained ontological categories for classes, including, among others, kinds, phases, roles, mixins, etc. Despite that, it is still common practice to apply representation schemes and approaches - such as OWL - that do not benefit from identifying these ontological categories, and simplistically treat all classes in the same manner. In this paper, we propose an approach to support the automated classification of classes into the ontological categories underlying the (g)UFO foundational ontology. We propose a set of inference rules derived from (g)UFO's axiomatization that, given an initial classification of the classes in an OWL ontology, can support the inference of the classification for the remaining classes in the ontology. We formalize these rules, implement them in a computational tool and assess them against a catalog of ontologies designed by a variety of users for a number of domains.</p

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

A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification

We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework

Essential properties: analysis and extension

This thesis is an attempt to understand the essential properties of concrete objects. The underlying motivation of this investigation is the hope that by understanding essential properties we will be in a better position to construct a satisfactory metaphysical account of the things that populate the world around us. The initial chapter introduces two questions that this thesis will attempt to answer. The first, ‘what are essential properties?’ is the Analysis Question. Answering it occupies chapters two through five. The second, ‘what essential properties are there?’ is the Extension Question. This is dealt with in the final three chapters. Chapter two provides the beginnings of an answer to the Analysis question, introducing the modal analysis of essential properties. Eight ways modality and essentiality might be related are raised. Of these, two entail the modal analysis. By eliminating the undesirable six, justification for the modal analysis could be provide. In the remainder of the chapter, five of the six are quickly dismissed. Chapter three is an examination of Fundamentalism. Focusing upon the views of E.J. Lowe and Kit Fine, I argue that there are modal facts which cannot be grounded upon essence facts and that certain modal concepts are employed in the construction of the Fundamentalist account. Consequently, Fundamentalism cannot succeed in grounding modality, and therefore cannot be the correct way to understand essentiality. This concludes the argument by elimination, thereby justifying accepting the modal analysis. Chapter four explores the modal analysis. After distinguishing between various formulations, it is argued that an existence-dependent version of the modal analysis is best. An objection by McLeod concerning contingent existence and essential properties is then dealt with, setting the stage for a more troubling objection from Kit Fine. Fine argues that all forms of the modal analysis ‘get the essential properties wrong’, relying upon a series of example properties, including the relation between Socrates and {Socrates}. After breaking down Fine’s argument, the remainder of the chapter concerns examining and dismissing several bad responses to Fine’s argument, including attempts by Della Rocca and Gorman. In chapter five I advance a new response to Fine which centres upon appealing to the sparse/abundant property distinction. Incorporating this distinction into the modal criteria, I demonstrate that a form of the modal analysis can avoid Fine’s attack. I then conclude that this suitably modified modal analysis is an excellent answer to the Analysis Question. The remaining three chapters are part of an attempt to answer the Extension Question. Chapter six critically examines Wiggins’ sortal essentialism, the position that objects are essentially instances of their sorts. After rendering Wiggins’ essentialist argument, I demonstrate that it is either inconclusive or question begging. As such, there is no reason to accept sortal essentialism. Chapter seven looks at the Byzantine arguments concerning origin essentialism. It is shown that these arguments are either inconclusive - in that they do not entail origin essentialism - or assume origin essentialism at the out-set, leaving us little reason to accept origin essentialism. Chapter eight examines Mackie’s minimalist essentialism. After laying out the position, I then examine a series of objections it faces. In particular, I show that even if we accept minimalist essentialism, it would not help us answer the Extension Question. As such, we have no reason to do so. I conclude that essential properties can best be understood as those sparse properties of an object which satisfy a specific modal criterion, as demonstrated in chapter five. However, the number of properties that satisfy this criterion might be quite small, as indicated by the results of chapters six through eight. This result is a mixed one for the essentialist: while we now know what essential properties are, it seems like we lost them all somewhere along the way