Barry Smith

Suppose you own a garden-variety object such as a hat or a shirt. Your property right then follows the ageold saw according to which possession is nine-tenths of the law. That is, your possession of a shirt constitutes a strong presumption in favor of your ownership of the shirt. In the case of land, however, this is not the case. Here possession is not only not a strong presumption in favor of ownership; it is not even clear what possession is. Possessing a thing like a hat or a shirt is a rather straightforward affair: the person wearing the hat or shirt possesses the shirt or the hat. But what is possession in the case of land? This essay seeks to provide an answer to this question in the form of an ontology of landed property.

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used.

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future.

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments

The paper investigates the role played by ethical deliberation and ethical judgment in Wittgenstein's early thought in the light of twentieth‐century German legal philosophy. In particular the theories of the phenomenologists Adolf Reinach, Wilhelm Schapp, and Gerhart Husserl are singled out, as resting on ontologies which are structurally similar to that of the Tractatus: in each case it is actual and possible Sachverhalte which constitute the prime ontological category. The study of the relationship between the states of affairs depicted, e.g., in the sentences of a legal trial and prior fact‐complexes to which these may correspond suggests one possible connecting link between the logical and ontological sections of the Tractatus and the ethical reflections appearing at the end. It is argued that the latter can best be understood in terms of the idea of a ‘last judgment’ (with its associated ethical rewards and punishments) which would relate to the world as a whole as a penal trial relates to individual complexes of facts.

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry.

It is often claimed that the beginnings of Brentano’s ontology were Aristotelian in nature; but this claim is only partially true. Certainly the young Brentano adopted many elements of Aristotle’s metaphysics, and he was deeply influenced by the Aristotelian way of doing philosophy. But he always interpreted Aristotle’s ideas in his own fashion. He accepted them selectively, and he used them in the service of ends that would not have been welcomed by Aristotle himself. The present paper is an exposition of the development of Brentano’s ontology, beginning with the Lectures on Metaphysics first delivered by Brentano in Würzburg in 1867 and concluding with his late work from 1904–1917.

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data.

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway.

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed.

Initially the problems of data integration, for example in the field of medicine, were resolved in case by case fashion. Pairs of databases were cross-calibrated by hand, rather as if one were translating from French into Hebrew. As the numbers and complexity of database systems increased, the idea arose of streamlining these efforts by constructing one single benchmark taxonomy, as it were a central switchboard, into which all of the various classification systems would need to be translated only once. By serving as a lingua franca for database integration this benchmark taxonomy would ensure that all databases calibrated in its terms would be automatically compatible with each other. We describe one strategy for creating such a lingua franca, in which philosophical ontology plays a central role.

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by Ingarden’s approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects.

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use.

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent.

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.

Defends a view of intentional directedness according to which those seemingly object-directed acts – involved for example in reading works of fiction – which lack existing objects as targets, are not intentional (thus: not directed towards any object). Rather, each such act seems to its subject as if it were so directed because it is associated with a belief of a certain special sort, whose intentional directedness is not towards any putative external object but rather towards the very act itself with which the belief is associated.

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications.

Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of necessary relations, so that anyone who has experience of relevant instances of these categories is implicitly aware also of a corresponding family of relations to certain other categories – as for example that every promise implies a mutually correlated claim and obligation. Midway between the two extremes of Hume and Reinach stands Searle, who accepts necessary relations of the mentioned sorts, but sees them as human creations, following from ‘constitutive rules’ analogous to the rules of chess. We seek to demonstrate that Searle does not occupy a stable and acceptable half-way house between Hume and Reinach; that he, too, if he is to do justice to the very constitutive rules which form the center of his approach, must on pain of circularity embrace something like the Reinachian position.

The last decade has witnessed the beginnings of a remarkable convergence of Husserlian phenonenology and analytic philosophy of language, and the present volumes provide original and important texts of the phenomenological philosophy of language. Powerfully influenced by the writings of the early Husserl, Reinach fashioned Husserl’s ideas into a rigorous analytical methodology of his own, which he applied in particular to problems in logic and the theory of knowledge, and to the philosophies of law and psychology. The central role of the concept of state of affairs in Reinach’s philosophy will bring to mind immediately the formal ontology of Wittgenstein’s Tractatus. Reinach’s most significant contribution, however, is contained in his The a priori foundations of civil law (1913), above all in the detailed analysis of the a priori structure of the act of promising. This amounts to an elaborate phenomenological theory of speech acts which anticipates, and in some respects goes beyond, the later theories of Austin and Searle. The present edition is in two volumes. Volume 1, which includes a biographical and thematic introduction by the editors, contains critical editions of those pieces published by Reinach himself. Volume II is a collection of all those items in Reinach’s surviving Nachlass which are in publishable form, including a number of important pieces not hitherto obtainable on such themes as ethical predicates, speech acts (“soziale Akte”), perception and the theory of number, together with a comprehensive sketch of the problems in the theory of knowledge, logic and ethics. Appended to this is a text-critical apparatus which also contains extensive discussions of the origins and sources of the materials in question.

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research.

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each.The starting point for our categorial scheme is the concept of extended entity.

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation.

The paper [which is in German] seeks to show how Weininger’s interpretations of Kant and Schopenhauer help us to understand some of the peculiar reflections on the will, on happiness and unhappiness, and on the problems of life, which are to be found in Wittgenstein's Notebooks. It seeks to explain, above all, why Wittgenstein should wish to reject the basic ethical axiom of “love thy neighbor.” There follows a sketch of one possible Kantian interpretation of the Tractatus along Weiningerian lines. The conclusion is drawn, however, that, while in the Notebooks many of Weininger’s views are still accepted, by the time of the Tractatus Wittgenstein has moved to a position in which a thinker like Weininger must be conceived as propounding so much more “ethical nonsense.” Wittgenstein adopts in the Tractatus a wholly new conception of the ethical, a form of logical individualism or quietism.