Barry Smith

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/.

Semantic interoperability requires the use of standards, not only for Electronic Health Record (EHR) data to be transferred and structurally mapped into a receiving repository, but also for the clinical content of the EHR to be interpreted in conformity with the original meanings intended by its authors. Accurate and complete clinical documentation, faithful to the patient’s situation, and interoperability between systems, require widespread and dependable access to published and maintained collections of coherent and quality-assured semantic resources, including models such as archetypes and templates that would (1) provide clinical context, (2) be mapped to interoperability standards for EHR data, (3) be linked to well specified, multi-lingual terminology value sets, and (4) be derived from high quality ontologies. Wide-scale engagement with professional bodies, globally, is needed to develop these clinical information standards.

Ontologies are being developed throughout the biomedical sciences to address standardization, integration, classification and reasoning needs against the background of an increasingly data-driven research paradigm. In particular, ontologies facilitate the translation of basic research into benefits for the patient by making research results more discoverable and by facilitating knowledge transfer across disciplinary boundaries. Addressing and adequately treating mental illness is one of our most pressing public health challenges. Primary research across multiple disciplines such as psychology, psychiatry, biology, neuroscience and pharmacology needs to be integrated in order to promote a more comprehensive understanding of underlying processes and mechanisms, and this need for integration only becomes more pressing with our increase in understanding of differences among individuals and populations at the molecular level concerning susceptibility to specific illnesses. Substance addiction is a particularly relevant public health challenge in the developed world, affecting a substantial percentage of the population, often co-morbid with other illnesses such as mood disorders. Currently, however, there is no straightforward automated method to combine data of relevance to the study of substance addiction across multiple disciplines and populations. In this contribution, we describe a framework of interlinked, interoperable bio-ontologies for the annotation of primary research data relating to substance addiction, and discuss how this framework enables easy integration of results across disciplinary boundaries. We describe entities and relationships relevant for the description of addiction within the Mental Functioning Ontology, Chemical Entities of Biological Interest Ontology, Protein Ontology, Gene Ontology and the Neuroscience Information Framework ontologies.

There is a need recognized by the National Institute of Dental & Craniofacial Research and the National Cancer Institute to advance basic, translational and clinical saliva research. The goal of the Salivaomics Knowledge Base (SKB) is to create a data management system and web resource constructed to support human salivaomics research. To maximize the utility of the SKB for retrieval, integration and analysis of data, we have developed the Saliva Ontology and SDxMart. This article reviews the informatics advances in saliva diagnostics made possible by the Saliva Ontology and SDxMart.

We discuss recent progress in the development of cognitive ontologies and summarize three challenges in the coordinated development and application of these resources. Challenge 1 is to adopt a standardized definition for cognitive processes. We describe three possibilities and recommend one that is consistent with the standard view in cognitive and biomedical sciences. Challenge 2 is harmonization. Gaps and conflicts in representation must be resolved so that these resources can be combined for mark-up and interpretation of multi-modal data. Finally, Challenge 3 is to test the utility of these resources for large-scale annotation of data, search and query, and knowledge discovery and integration. As term definitions are tested and revised, harmonization should enable coordinated updates across ontologies. However, the true test of these definitions will be in their community-wide adoption which will test whether they support valid inferences about psychological and neuroscientific data.

The Protein Ontology provides terms for and supports annotation of species-specific protein complexes in an ontology framework that relates them both to their components and to species-independent families of complexes. Comprehensive curation of experimentally known forms and annotations thereof is expected to expose discrepancies, differences, and gaps in our knowledge. We have annotated the early events of innate immune signaling mediated by Toll-Like Receptor 3 and 4 complexes in human, mouse, and chicken. The resulting ontology and annotation data set has allowed us to identify species-specific gaps in experimental data and possible functional differences between species, and to employ inferred structural and functional relationships to suggest plausible resolutions of these discrepancies and gaps.

Identification of non-coding RNAs (ncRNAs) has been significantly improved over the past decade. On the other hand, semantic annotation of ncRNA data is facing critical challenges due to the lack of a comprehensive ontology to serve as common data elements and data exchange standards in the field. We developed the Non-Coding RNA Ontology (NCRO) to handle this situation. By providing a formally defined ncRNA controlled vocabulary, the NCRO aims to fill a specific and highly needed niche in semantic annotation of large amounts of ncRNA biological and clinical data.

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis.

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain.

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.)

This essay is a contribution to social ontology, drawing on the work of John Searle and of Hernando de Soto. At the center of the argument is the proposition advanced by de Soto in his Mystery of Capital to the effect that many of the entities which structure our contemporary social reality are entities which exist in virtue of the fact that there are (paper or digital) documents which support their existence. I here develop de Soto’s argument further, focusing specifically on the ontological problems raised by a family of new types of social phenomena – exemplified most dramatically in the domain of finance for example in the form of what are called ‘structured investment vehicles’ – made possible as a result of the employment of computer technology in entity creation. I address also Searle’s most recent work on social ontology, and conclude with an appendix on the theory of documentality advanced by Maurizio Ferraris.

Biomedical ontologies exist to serve integration of clinical and experimental data, and it is critical to their success that they be put to widespread use in the annotation of data. How, then, can ontologies achieve the sort of user-friendliness, reliability, cost-effectiveness, and breadth of coverage that is necessary to ensure extensive usage? Methods: Our focus here is on two different sets of answers to these questions that have been proposed, on the one hand in medicine, by the SNOMED CT community, and on the other hand in biology, by the OBO Foundry. We address more specifically the issue as to how adherence to certain development principles can advance the usability and effectiveness of an ontology or terminology resource, for example by allowing more accurate maintenance, more reliable application, and more efficient interoperation with other ontologies and information resources. Results: SNOMED CT and the OBO Foundry differ considerably in their general approach.Nevertheless, a general trend towards more formal rigor and cross-domain interoperability can be seen in both and we argue that this trend should be accepted by all similar initiatives in the future. Conclusions: Future efforts in ontology development have to address the need for harmonization and integration of ontologies across disciplinary borders, and for this, coherent formalization of ontologies is a prerequisite.

The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a project to create an ontology-based supporting layer for UCore, entitled ‘Universal Core Semantic Layer’ (UCore SL), and describe how UCore SL can be applied to further UCore’s information sharing goals.

Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI); the proposed BMEO would interoperate with OBI, creating a powerful information tool. We define a domain ontology and begin to construct a BMEO, focused on the process of evaluating human research protocols. Finally, we show how our BMEO can have practical applications for ethics committees. This paper describes ongoing research and a strategy for its broader continuation and cooperation.

The Handbook of Metaphysics and Ontology reflects the conviction that the history of metaphysics and current work in metaphysics and ontology can each throw valuable light on the other. Thus it is designed to serve both äs a means of making more widely accessible the results of recent scholarship in the history of philosophy, and also äs a unique work of reference in reladon to the metaphysical themes at the centre of much current debate in analyüc philosophy. The work contains more man 450 shorter articies on specific themes and methods in metaphysics and ontology, together with biographical essays summarizing the thinking of the most important philosophers within the traditions dealt with. In addition, it contains about 20 longer survey arücles mapping out both historically and systemadcally the main areas of metaphysics and ontology. AU contributions have been speciaüy commissioned for this project from leading authorities in their respective fields. A special feature of the work is the pardcular attention that is paid to topics and issues of relevance to contemporary philosophical debates. The work includes also a series of arücles on the logical and mathematical tools of metaphysics and on the applications of metaphysical ideas within linguisdcs, psychology, cognitive science, and mathemadcs.

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking.

Un mince fil dans la vaste littérature sur Kafka concerne la connaissance qu’avait Kafka de la philosophie, et plus précisément l’utilisation, dans les récits de Kafka, de quelques-unes des idées principales de Franz Brentano. Kafka a suivi des cours de philosophie à l’Université Charles, cours donnés par des étudiants de Brentano, Anton Marty et Christian von Ehrenfels. Il fut aussi, pendant plusieurs années, membre d’un groupe de discussion organisé par des partisans orthodoxes de la philosophie brentanienne à Prague. Le présent essai résume ce que l’on sait des relations entretenues par Kafka avec le mouvement brentanien. Il porte sur les idées brentaniennes qui concernent l’évidence de la perception intérieure, la conscience oblique, l’introspection active, le jugement correct et incorrect et la conscience en tant qu’espèce de tribunal intérieur, dans le but d’éclairer certains aspects centraux de l’œuvre de Kafka, incluant son style. Nous porterons une attention particulière sur Die Verwandlung et Der Prozess , et nous offrirons une interprétation de ce dernier texte selon laquelle le procès de Joseph K. se passe entièrement dans l’esprit de K. lui-même.

The theory of document acts is an extension of the more traditional theory of speech acts advanced by Austin and Searle. It is designed to do justice to the ways in which documents can be used to bring about a variety of effects in virtue of the fact that, where speech is evanescent, documents are continuant entities. This means that documents can be preserved in such a way that they can be inspected and modified at successive points in time and grouped together into enduring document complexes. We outline some components of a theory of document acts, and show how it can throw light on certain problems in Searle’s ontology of social reality.

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, and expressing a joint intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability.

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis

There is a narrow thread in the vast literature on Kafka which pertains to Kafka’s knowledge of philosophy, and more precisely to Kafka’s use in his fictional writings of some of the main ideas of Franz Brentano. Kafka attended courses in philosophy at the Charles University given by Brentano’s students Anton Marty and Christian von Ehrenfels, and was for several years a member of a discussion-group organized by orthodox adherents of the Brentanian philosophy in Prague. The present essay summarizes what is known about Kafka’s relations to the Brentanist movement. It draws on Brentanian ideas on the evidence of inner perception, on oblique consciousness, on active introspection, on correct and incorrect judgment, and on consciousness as a species of inner tribunal, in order to throw light on central features of Kafka’s writings, including stylistic features. Special attention is directed towards Die Verwandlung and Der Prozess, and a reading of the latter is offered according to which the trial of Joseph K. occurs entirely within the mind of K. himself. The revisions in the 1997 version of the paper relate especially to the treatment of Kafka and Brentano in Arnold Heidsieck’s book The Intellectual Contexts of Kafka’s Fiction: Philosophy, Law, Religion of 1994.

For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two other seminal figures in this development: H.L.A. Hart and John Rawls. We show that all three thinkers tend to assume that there is but one type of normativity within the realm of social institutions – roughly, the sort of normativity that is involved in following the results of chess – and that they thereby neglect features that are of crucial significance for an adequate understanding of social reality.

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to in the literature as ‘approximation’.

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning.

The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, which may however provide general lessons for the developers of ontologies in the future.