The current (still limited) use of the notion of informativeness in the domain of information system ontologies seems to indicate that such ontologies are informative if and only if they are understandable for their final recipients. This paper aims at discussing some theoretical issues emerging from that use which, as we will see, connects the informativeness of information system ontologies to their representational primitives, domains of knowledge, and final recipients. Firstly, we maintain that informativeness interacts not only with the actual (...) representational primitives, but also with their variability over time. Secondly, we discuss the correspondence between representational primitives and domains of knowledge of those ontologies. Finally, we explore the possibility of an epistemological discrepancy between human beings and software systems on the understanding of ontological contents. (shrink)

According to ontological perspectivism, there can be, in principle, multiple and alternative perspectives on the world that can be sliced, systematized, and conceptualized in different ways. Surely, such an ontological position has many categorial implications, which may vary depending on different disciplinary contexts. This paper explores parts of these implications in the realm of geography. In particular, it aims at discussing the ontological categories that one might use to describe the geographical world in an overarching perspective – that is, the (...) perspective that puts toether all the partial views coming from the different branches of the geographical investigation. We will see that if the overarching perspective is expected to include all the views on the geographical world, then such a perspective should be all-embracing in terms of contents and categories. This means that the overarching perspective might also comprehend inconsistencies that derive from how the various partial perspectives conceptualize differently the geographical world. (shrink)

The growing diffusion of perspectivism within the debate on information system ontologies [ISOs] does not correspond to a thorough analysis of what perspectivism specifically consists of. This paper aims to fill this void. First, I show what supporting perspectivism in information system ontologies [PISO] means in terms of (minimal) claims and implications; then I argue that the definitions of ISO implicitly assume PISO’s (minimal) claims or, in other words, that ISOs presuppose and maintain PISO. Section 2 presents the main definitions (...) of ISO. Section 3 specifies what claims are common to all perspectivists in ISO. Sects. 4–7 analyze the implications of those claims. Section 8 explores the chance of multiple perspectivisms within ISOs’ domain. Finally, Sects. 9–10 assume that, if PISO’s (minimal) claims and (their) implications can be inferred from ISO’s definitions, then ISOs are perspectivist, or PISO’s minimal claims are assumptions underlying ISOs. (shrink)

In the domain of information systems ontologies, the notion of completeness refers to ontological contents by demanding that they be exhaustive with respect to the domain that the ontology aims to represent. The purpose of this paper is to analyze such a notion, by distinguishing different varieties of completeness and by questioning its consistency with the open-world assumption, which formally assumes the incompleteness of conceptualizations on information systems ontologies.

In this paper, I discuss how to distinguish between ontological categories and ordinary categories. Using an argument against van Inwagen’s proposed account of what makes a category ontological as a springboard, I argue that if ontological categories are modally robust, then ontological categories need to be understood hyperintensionally. This conclusion opens up a wide range of new ways to define ‘ontological category’, and I close by briefly outlining one such way in order to illustrate the advantages of embracing hyperintensionality in (...) this debate. (Published Open Access). (shrink)

Bio-ontologies are digital frameworks for handling biological and biomedical data. They consist of theoretical entities and relations with explicitly defined logical structures and precise definitions, whose purpose is to provide a shared language for representing information to be distributed and integrated across diverse scientific contexts. It is tempting to view bio-ontologies as clear and formal expressions of a scientific community’s ontological commitments about their domain of inquiry, and to view their integration as tantamount to the metaphysical unification of science that (...) some philosophers have envisaged. However, I argue that the local, practical, social and technological factors that influence their design prevent us from straightforwardly reading metaphysical conclusions from them. I discuss these complications and suggest how they can be overcome, revealing more general lessons for the development of a well-founded scientific metaphysics. (shrink)

Risk is an ubiquitous entity in the biomedical domain. Thus, a coherent ontological characterization of risk, which can be used by informatical tools named "applied ontologies", is necessary to help with the exchange and the collection of data for clinical and research uses. We analyze some definitions of risk and draw two general characteristics that risks and dispositions share. We thus suggest that a risk is a disposition which has an undesirable realization for an agent. This definition conciliates the objective (...) dimension and the subjective dimension of risk : a risk exist independantly of our knowledge about it, but the status of risk of a given disposition for an agent depends of the preferences of this agent. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

A large number of legal rules create an obligation to prevent, repair or otherwise mitigate damage to human health or the environment. Many of these rules require that a legally relevant causal relation between human behaviour and the damage at issue is established, and in the establishment of causal relations of this kind scientific information is often pressed into service. This thesis examines this specifically legal use of scientific information. It shows that many legally relevant causal relations cannot be established (...) in this way. It also shows that the legal strategy for dealing with epistemic difficulties by relaxing the standard of proof is of limited value in tackling this problem. Consequently, the legal rules focused upon are less efficient tools for combating damage to human health and the environment than their appearances suggest. Other legal means to achieve this aim should therefore be considered. The thesis begins by presenting a framework which can be used to solve some important problems with communication and the division of labour that arise when scientific information is used to answer legal questions. This framework recognizes both epistemological and ontological differences between law and science. The latter are differences between the kinds of entity which are relevant in distinct theoretical contexts; the former, by contrast, are differences between applicable standards of proof. In subsequent parts of the thesis this framework shapes the discussion of the question: To what extent can legally relevant causal relations, involving legally significant entities, be established through the application of scientific information about other, scientifically relevant entities and legal standards of proof. The thesis concludes with a discussion of some of the ways in which the legal regulation could, potentially, be adapted, so as to counteract damage to human health and the environment more efficiently. (shrink)