The fact that boundaries are ontologically dependent entities is agreed by Franz Brentano and Roderick Chisholm. This article studies both authors as a single metaphysical account about boundaries. The Brentano-Chisholm theory understands that boundaries and the objects to which they belong hold a mutual relationship of ontological dependence: the existence of a boundary depends upon a continuum of higher spatial dimensionality, but also is a conditio sine qua non for the existence of a continuum. Although the view that ordinary material (...) objects and their boundaries (or surfaces) ontologically depend on each other is correct, it does not grasp their asymmetric relationship: while the existence of a surface rigidly depends upon the existence of the very object it belongs to, the existence of a physical object generically depends upon having some surface. In modal terms, both are two kinds of de re ontological dependence that this article tries to distinguish. (shrink)

One of the innovative approaches in contemporary philosophical ontology consists in the assumption of a plurality of ontologies based on different metaphysical presuppositions. Such presuppositions involve, among others, the identification of relevant properties for the objects of our domain as a guiding principle in uncovering what it is to be considered intrinsic and what could be the mere effect of selection preferences based on objective or subjective criteria. A remarkable example of the application of a background metaphysical theory in astrophysics (...) is the problem of selection biases in detecting cosmological objects, such as supernovae, galaxies and gamma-ray bursts. We will show that it is valuable to be aware of the importance of uncovering this type of background theory to better understand selection effects and to promote a novel approach in scientific research. (shrink)

What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas were (...) developed prior to the scientific discoveries of the modern era, he approached the objects and relations of everyday reality with the same ontological seriousness with which scientists today approach the objects of physics. We shall seek to show that what Aristotle has to say about these commonsensical objects and relations can, when translated into more formal terms, be of use also to contemporary ontologists. More precisely, we shall argue that his ideas can contribute to the development of a rigorous theory of those social and institutional components of everyday reality – the settings of human behavior – which are the subject of this volume. When modern-day philosophers turn their attentions to ontology they begin not with Aristotle but rather, in almost every case, with a set-theoretic ontology of the sort which is employed in standard model-theoretic semantics. Set-theoretic ontology sees the world in atomistic terms: it postulates a lowest level of atoms or urelements, from out of which successively higher levels of set-theoretic objects are then constructed. The approach to ontology to be defended here, in contrast, starts not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day.. (shrink)

This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientists.

The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. These (...) basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.

The paper discusses the concept of the cognitive niche and distinguishes the latter from the metabolic niche. By using these posits I unpack certain ideas that are crucial for the enactivist movement, especially for its original formulation proposed by Varela, Thompson and Rosh. Drawing on the ontology of location, boundaries, and parthood, I argue that enacting the world can be seen as the process of cognitive niche construction. Moreover, it turns out that enactivism—as seen through the lens of the conceptual (...) framework proposed in the paper—considers cognition as a kind of connection between the subject and the world. This post is pointed to as the key idea laid down in enactivism. (shrink)

One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...) and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts. (shrink)

One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...) and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts. (English translation is appended to the French text.). (shrink)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...) boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

Contains the following contributions: -/- Ingvar Johansson: Ontologies and Concepts. Two Proposals -/- Christopher Menzel: Reference Ontologies - Application Ontologies: Either/Or or Both/And? -/- Luc Schneider: Foundational Ontologies and the Realist Bias -/- Guenther Goerz, Kerstin Buecher, Bernd Ludwig, Frank-Peter Schweinberger, and Iman Thabet: Combining a Lexical Taxonomy with Domain Ontology in the Erlangen Dialogue System -/- Vim Vandenberghe, Burkhard Schafer, John Kingston: Ontology Modelling in the Legal Domain - Realism Without Revisionism -/- A Proposed Methodology for the Development of (...) Application-Based Formal Ontologies Eric Little . (shrink)

The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of modern (...) formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

(First paragraph.) Different views on the relation between phenomenal reality, the world as we consciously experience it, and noumenal reality, the world as it is independent from an experiencing subject, have different implications for a collection of interrelated issues of meaning and reality including aspects of metaphysics, the philosophy of language, and philosophical methodology. Exploring some of these implications, this paper compares and brings together analytic, continental, and Buddhist approaches, focusing on relevant aspects of the philosophy of Donald Davidson, Jacques (...) Derrida, Dharmakīrti, and Dōgen. Prima facie, these philosophers have little in common, and indeed the differences are vast. Even in case of the two Western thinkers there is a fundamental difference between Davidson’s anti-dualist identification of phenomenal, experienced reality with the noumenal, real, external world on the one hand, and the bracketing or elimination of noumenal reality at the base of Derrida’s thought on the other, which lead to radically different ideas with regards to (the possibility and nature of) objectivity and our linguistic access to the real/external/noumenal world. Nevertheless, there are important similarities between Dharmakīrti’s theory of apoha and Davidson’s and Derrida’s theories of triangulation and différance respectively, and these similarities can be exploited to bridge some of the differences and attempt a constructive engagement. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate (...) ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations. (shrink)

Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the relations (...) between social, cultural, ethnic and religious agglomerations on the one hand and territorially demarcated spatial objects on the other. In this way it serves as the basis for a general ontological theory of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm. (shrink)

Attempts to introduce Gestalt theory into the realm of visual neuroscience are discussed on both theoretical and experimental grounds. To define the framework in which these proposals can be defended, this paper outlines the characteristics of a standard model, which qualifies as a received view in the visual neurosciences, and of the research into natural images statistics. The objections to the standard model and the main questions of the natural images research are presented. On these grounds, this paper defends the (...) view that Gestalt psychology and experimental phenomenology provide a contribution to the research into perception by the construction of phenomenological models for an ecologically meaningful interpretation of the empirical evidence and the hypothetical constructs of the natural image research within the visual neuroscience. A formal framework for the phenomenological models is proposed, wherein Gestalt theoretical principles and empirical evidence are represented in terms of topological properties and relationships, which account for the order and structures that make the environment accessible to observers at a relevant behavioural level. It is finally argued that these models allow us to evaluate the principles and the empirical evidence of various natures which are integrated from different fields into the research into perception, and in particular into visual neurosciences. (shrink)

If mind is a creature of adaptation, then our standard theories of intentionality and of mental representation are in need of considerable revision. For such theories, deriving under Cartesian inspiration from the work of Brentano, Husserl and their followers, are context-free. They conceive the subject of mental experience in isolation from any surrounding physico-biological environment. Husserl sought in his later writings to find room for the surrounding world of human practical experience, and a similar expansion of concerns can be detected (...) also in the writings of other later phenomenologists such as Heidegger, Sartre, and Merleau-Ponty. But in none of these authors do we find sustained attempts to grapple with the intervolvements of the world of human thought, feeling and action with the environment of human behavior as this is described by physics and biology. Their work can, however, be seen in a new light when conjoined with the ideas on perception and action of J. J. Gibson and Roger Barker, both of whom (independently) conceived their work under the banner of 'ecological psychology.' It is against this background that the term 'Husserlian ecology' is to be understood in this essay. (shrink)

This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...) the connection and its multiplicity. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

Some would conceive philosophy as being divided into Analytic and Continental. This, as John Searle points out, is rather like conceiving America as being divided into Business and Kansas. Searle’s wise saying has not, as yet, received the theoretical attention it deserves. In both cases we have a certain domain, which is conceived as being divided into two parts, one defined in spatial terms, the other defined in terms of objects, practices or features widely spread through some spatial area. We (...) present a draft theory of such divides, and of the agglomerations (populations, movements, systems of beliefs) which are the vehicles for their division. It offers a general, ontological theory of Us and Them, of Analytics and Continentals, of the Hegemonic Colonizing Self and the Indigenous Colonized Other. -/- Presented at a conference on Bridging the Analytic-Continental Divide, Tel Aviv University, January 17-20, 1999. (shrink)

The common practice of advancing arguments based on current physics in support of metaphysical conclusions has been criticized on the grounds that current physics may well be wrong. A further criticism is leveled here: current physics itself depends on metaphysical assumptions, so arguing from current physics is in fact arguing from yet more metaphysics. It is shown that the metaphysical assumptions underlying current physics are often deeply embedded in the formalism in which theories are presented, and hence impossible to dismiss (...) as mere motivational or interpretative speculation. It is then shown that such assumptions, when made explicit, can wreck havoc on otherwise-sensible philosophical arguments. It is argued in conclusion that this situation is both unlikely to be reparable just by being more careful, and unlikely to go away as further, presumably more subtle physical theories are developed. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

We tend to talk about (refer to, quantify over) parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in the inventory over and above its constituent parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled (...) the Minimalist View: An element in the field of a part-whole relation is to be included in an inventory of the world if and only if it does not overlap any distinct element that is itself included in the inventory. (shrink)

The Region Connection Calculus (RCC theory) is a well-known spatial representation of topological relations between regions. It claims that the connection relation is primitive in the spatial domain. We argue that the connection relation is indeed primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some aspects of the RCC theory, e.g. the two axioms in the RCC theory are not strong enough to govern the connection relation, regions in the (...) RCC theory cannot be points, the uniqueness of the operation in the theory is not guaranteed, etc. To solve some of the problems, we propose an extension to the RCC theory by introducing the notion of region category and adding a new axiom which governs the characteristic property of the connection relation. The extended theory is named as RCC++. We support the claim that the connection relation is primitive to spatial domain by showing how distance relations, size relations are developed in RCC++. At last we revisit a sub-family of un-intended models in RCC theory, argue that RCC++ is more suitable than RCC with regards to its original intended model, and discuss the representation limitation of the RCC, as well as RCC++. (shrink)

What distinguishes a whole from an arbitrary sum of elements? I suggest a temporal and causal oriented approach. I defend two connected claims. The former is that existence is, by every means, coextensive with being the cause of a causal process. The latter is that a whole is the cause of a causal process with a joint effect. Thus, a whole is something that takes place in time. The approach endorses an unambiguous version of Restricted Composition that suits most commonsensical (...) intuitions about wholes. (shrink)

It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.

The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. (...) It is further distinguished from other maps in that it represents not some specific portion of spatial reality (say: Leeds in 1996), but rather the generalized or idealized spatial reality associated with a generalized or idealized human being at some generalized or idealized instant of time. It will be our concern in what follows to outline the approach to ontology that is represented by the FMA and to argue that it can serve as the basis for a new type of anatomical information science. We also draw some implications for our understanding of spatial reasoning and spatial ontologies in general. (shrink)

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different levels, (...) including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

The culture-economy dialectic (CED) – the opposition of the concepts and phenomena of culture and economy – is one of the most important ideas in the modern history of ideas. Both disciplinary boundaries and much theoretical thought in social science are strongly influenced or even determined by the CED. For that reason, a thorough analysis and evaluation of the CED is needed to improve understanding of the history of ideas in social science and the currently fashionable research on the cultural (...) influences on economic differences between countries and regions. This thesis is an attempt to do just that. The concepts of “culture” and “economy” (and related concepts) and the (assumed) relations therebetween are compared and analyzed. Empirical results from earlier studies are summarized and some new test are presented. These new tests are partly based on a measurement of Dutch regional culture. However, most theories of the CED are (nearly) impossible to verify (empirically). There appears to be some influence of wealth on specific cultural phenomena (such as individualism and post-materialism), but the often assumed influence of culture on entrepreneurship and economic growth remains unconfirmed. Moreover, from an analysis of the theories themselves, it appears that most of these cannot be falsified and are, therefore, hardly 'scientific'. Many of the theories of the CED and, in fact, many theories of social science in general are of a conceptual rather than a causal nature. These theories cannot be falsified (or verified) by empirical means alone, but must be studied by means of conceptual analysis. In the final conclusions, this thesis, therefore, argues for conceptual analysis in – and a more anarchist approach to – social science. (shrink)

I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

The aim of this note is to discuss the general form and role of identity criteria. We have taken two readings into consideration which express two different functions of identity criteria. The first expresses the epistemic function whilst the second deals with the ontological function. We argue that there are several problems related to the specification of both these functions. As a consequence, we conclude that identity criteria are not necessary to provide ontological legitimacy.

The distinction between reference ontologies and application ontologies crept rather unobtrusively into the recent literature on knowledge engineering. A lot of the discourse surrounding this distinction – notably, the one framing the workshop generating this collection of papers – suggests the two types of ontologies are in some sort of opposition to one another. Thus, Borge et al. [3] characterize reference ontologies (more recently, foundational ontologies) as rich, axiomatic theories whose focus is to clarify the intended meanings of terms used (...) in specific domains. Application ontologies, by contrast, provide a minimal terminological structure to fit the needs of a specific community. Reflecting their minimal nature, Masolo et al. [7] refer to such ontologies as “lightweight” ontologies. An application ontology can be lightweight in a second respect as well, namely, that it may not necessarily take the form of fully-fledged axiomatic theory. Rather, it might only be a taxonomy of the relevant domain, a division of the domain into a salient collection of classes, perhaps ordered by the subclass relation. Importantly, though, for an application ontology to “fit the needs of a specific community” needn’t require representational accuracy. In the “worst” case (from a reference ontology perspective), to fit the needs of a community is just to represent uncritically what people in that community think about the ontology’s domain. (shrink)