The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

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

Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

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

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

ABSTRACT We have previously argued that there are forms of greenhouse gas offsetting for which, when one emits and offsets, one imposes no risk. Orri Stefansson objects that our argument fails to distinguish properly between the people who stand to be harmed by one’s emissions and the people who stand to be benefited by one’s offsetting. We reply by emphasizing the difference between acting with a probability of making a difference to the distribution of harm and acting in a way (...) that worsen’s someone’s prospect. (shrink)

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

We describe a strategy that is being used for the horizontal integration of warfighter intelligence data within the framework of the US Army’s Distributed Common Ground System Standard Cloud (DSC) initiative. The strategy rests on the development of a set of ontologies that are being incrementally applied to bring about what we call the ‘semantic enhancement’ of data models used within each intelligence discipline. We show how the strategy can help to overcome familiar tendencies to stovepiping of intelligence data, and (...) describe how it can be applied in an agile fashion to new data resources in ways that address immediate needs of intelligence analysts. (shrink)

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

Some moral theorists argue that being an innocent beneficiary of significant harms inflicted by others may be sufficient to ground special duties to address the hardships suffered by the victims, at least when it is impossible to extract compensation from those who perpetrated the harm. This idea has been applied to climate change in the form of the beneficiary-pays principle. Other philosophers, however, are quite sceptical about beneficiary pays. Our aim in this article is to examine their critiques. We conclude (...) that, while they have made important points, the principle remains worthy of further development and exploration. Our purpose in engaging with these critiques is constructive — we aim to formulate beneficiary pays in ways that would give it a plausible role in allocating the cost of addressing human-induced climate change, while acknowledging that some understandings of the principle would make it unsuitable for this purpose. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...) types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

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. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). 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. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The (...) axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

Credentials play an important role in all modern societies, but the analysis of their nature and function has thus far been neglected by social philosophers. We present a view according to which the function of credentials is certify the identity and the institutional status (including the rights) of individuals. More importantly, credentials enable rights-holders to exercise their rights, so that for a particular right to be exercisable the right-holder should possess, carry and sometimes show to an authority (or QR code (...) scanner) a document of a specific kind. Driving licenses, identity cards, passports, boarding passes, library passes, credit cards, ATM cards, health insurance cards are all examples of credentials in this sense. Credentials have in every case a bearer, and the bearer should be able to carry them easily on his or her person. Credentials should also be inspectable – not least because credentials can be forged. The authors analyse several historical and contemporary examples of credentials, focusing on the credentials carried by the pilgrims of the Way of Saint James. (shrink)

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

In his book The Sensory Order, Hayek anticipates many of the central ideas behind what we now call the connectionist paradigm, and develops on this basis a theory of the workings of the human mind that extends the thinking of Hume and Mach. He shows that the idea of neural networks is can be applied not only in psychology and neurology but also in the sphere of economics. For the mind, from the perspective of The Sensory Order, is a dynamic, (...) relational affair that is in many respects analogous to a market process. The mind, as Hayek puts it, is a 'continuous stream of impulses, the significance of each and every contribution of which is determined by the place in the pattern of channels through which they flow' , so that the flow of representative neural impulses can be compared 'to a stock of capital being nourished by inputs and giving a continuous stream of outputs'. (shrink)

Many political theorists defend the view that egalitarian justice should extend from the domestic to the global arena. Despite its intuitive appeal, this ‘global egalitarianism’ has come under attack from different quarters. In this article, we focus on one particular set of challenges to this view: those advanced by domestic egalitarians. We consider seven types of challenges, each pointing to a specific disanalogy between domestic and global arenas which is said to justify the restriction of egalitarian justice to the former, (...) and argue that none of them – both individually and jointly – offers a conclusive refutation of global egalitarianism. (shrink)

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...) and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

When governments collect data relating to economic activity they commonly employ a distinction between goods and services. Both goods and services have economic value. Goods (cars, houses, bottles of milk) are, very roughly, independent continuants which can be alienated (sold, gifted, rented, and so forth). Services (hairdressing, gardening, teaching) are, again very roughly, occurrents. They are occurrents which are further often said to be marked by the fact that production and consumption coincide. Social services under both headings typically involve combinations (...) of service provision. The patterns in question are primarily those of the family (where the patterns to be maintained or restored are, roughly, those characteristic of a healthy family life) and of the child (patterns characteristic of healthy development, provided by child protective services, who work to prevent child abuse). (shrink)

If media studies are to become established as a genuine science, then it needs to be determined what the subject matter of this science is to be. I propose a specification of this subject matter as consisting in: 1. the new sorts of digital entities that have been added to social reality through the invention of the digital computer, and 2. the new sorts of interactions involving human beings which such entities make possible. I support this proposal by examining examples (...) of some of the ways in which the digital products of emerging media differ from entities of other sorts. I then draw consequences from this examination to demonstrate how these products mark out a new realm within the larger domain of social ontology. (shrink)

A survey of theories of part, whole and dependence from Aristotle to the Gestalt psychologists, with special attention to Husserl’s Third Logical Investigation “On the Theory of Parts and Wholes”.

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)

This paper applies the ontological framework developed by Roman Ingarden in his Controversy over the Existence of the World to the domain of mathematics, concluding with some remarks on parallels between the mode of existence of mathematical entities on the one hand and of values on the other.

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...) to a number of areas for fruitful further research. (shrink)

Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...) the common good. But efficient market systems nevertheless have significant opportunity costs. The discussion yields a range of desiderata for non-alienated economic organization. (shrink)

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

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

Interoperability across data sets is a key challenge for quantitative histopathological imaging. There is a need for an ontology that can support effective merging of pathological image data with associated clinical and demographic data. To foster organized, cross-disciplinary, information-driven collaborations in the pathological imaging field, we propose to develop an ontology to represent imaging data and methods used in pathological imaging and analysis, and call it Quantitative Histopathological Imaging Ontology – QHIO. We apply QHIO to breast cancer hot-spot detection with (...) the goal of enhancing reliability of detection by promoting the sharing of data between image analysts. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. The NCRO ontology is free and open to all users. (shrink)

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

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that (...) have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records. (shrink)

Can there be a theory-free experience? And what would be the object of such an experience. Drawing on ideas set out by Husserl in the “Crisis” and in the second book of his “Ideas”, the paper presents answers to these questions in such a way as to provide a systematic survey of the content and ontology of common sense. In the second part of the paper Husserl’s ideas on the relationship between the common-sense world (what he called the ‘life-world’) and (...) the world of physical theory are subjected to a critical evaluation. The relation of Husserl’s ideas to current work in folk psychology and naive physics and to the direct realism of J. J. Gibson are also treated. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

The term ‘Continental philosophy’ designates not philosophy on the continent of Europe as a whole, but rather a selective slice of Franco-German philosophy. Through a critical analysis of the arguments advanced by Otto Neurath, the paper addresses the issue of why Austrian philosophers in particular are not counted in the pantheon of Continental philosophers. Austrian philosophy is marked by the predominance of philosophical analysis and of the philosophy of science. The paper concludes that it is not Austria which is the (...) special case when seen against the background of contemporary mainstream philosophy, but rather Germany and France. (shrink)

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at the (...) same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts. (shrink)

Philosophers in the field of analytic metaphysics have begun gradually to come to terms with the fact that there are entities in a range of categories not dreamt of in the set-theory and predicate-logic-based ontologies of their forefathers. Examples of such “entia minora” would include: boundaries, places, events, states holes, shadows, individual colour- and tone-instances (tropes), together with combinations of these and associated simple and complex universal species or essences, states of affairs, judgment-contents, and myriad abstract structures of the sorts (...) which are studied by the mathematical sciences. How, as hunter-gatherer ontologists, are we to bring order into this vast array? How are we to gauge the ontological merits of given candidate entities, and how are we to understand their relation to entities of more humdrum sorts? Meinong, it turns out, offers a very simple answer to all of these questions. (shrink)

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

The Plant Ontology (PO) (http://www.plantontology.org) (Jaiswal et al., 2005; Avraham et al., 2008) was designed to facilitate cross-database querying and to foster consistent use of plant-specific terminology in annotation. As new data are generated from the ever-expanding list of plant genome projects, the need for a consistent, cross-taxon vocabulary has grown. To meet this need, the PO is being expanded to represent all plants. This is the first ontology designed to encompass anatomical structures as well as growth and developmental stages (...) across such a broad taxonomic range. While other ontologies such as the Gene Ontology (GO) (The Gene Ontology Consortium, 2010) or Cell Type Ontology (CL) (Bard et al., 2005) cover all living organisms, they are confined to structures at the cellular level and below. The diversity of growth forms and life histories within plants presents a challenge, but also provides unique opportunities to study developmental and evolutionary homology across organisms. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

Some moral theorists argue that innocent beneficiaries of wrongdoing may have special remedial duties to address the hardships suffered by the victims of the wrongdoing. These arguments generally aim to simply motivate the idea that being a beneficiary can provide an independent ground for charging agents with remedial duties to the victims of wrongdoing. Consequently, they have neglected contexts in which it is implausible to charge beneficiaries with remedial duties to the victims of wrongdoing, thereby failing to explore the limits (...) of the benefiting relation in detail. Our aim in this article is to identify a criterion to distinguish contexts in which innocent beneficiaries plausibly bear remedial duties to the victims of wrongdoing from those in which they do not. We argue that innocent beneficiaries incur special duties to the victims of wrongdoing if and only if receiving and retaining the benefits sustains wrongful harm. We develop this criterion by identifying and explicating two general modes of sustaining wrongful harm. We also show that our criterion offers a general explanation for why some innocent beneficiaries incur a special duty to the victims of wrongdoing while others do not. By sustaining wrongful harm, beneficiaries-with-duties contribute to wrongful harm, and we ordinarily have relatively stringent moral requirements against contributing to wrongful harm. On our account, innocently benefiting from wrongdoing _per se_ does not generate duties to the victims of wrongdoing. Rather, beneficiaries acquire such duties because their receipt and retention of the benefits of wrongdoing contribute to the persistence of the wrongful harm suffered by the victim. We conclude by showing that our proposed criterion also illuminates why there can be reasonable disagreement about whether beneficiaries have a duty to victims in some social contexts. (shrink)

The most obvious varieties of mental phenomena directed to non- existent objects occur in our experiences of works of art. The task of applying the Meinongian ontology of the non-existent to the working out of a theory of aesthetic phenomena was however carried out not by Meinong by his disciple Stephan Witasek in his Grundzüge der allgemeinen Ästhetik of 1904. Witasek shows in detail how our feelings undergo certain sorts of structural modifications when they are directed towards what does not (...) exist. He draws a distinction between genuine mental phenomena and what he calls `phantasy-material', asserting that `the job of the aesthetic object, whether it is a work of art or a product of nature, is to excite and support the actualisation of phantasy-material in the experiencing subject'. We might think of such phantasy-material as a matter of Ersatz-emotions or emotional `slop'. We could then see Witasek's aesthetics as an elaborate taxonomy of the various different sorts of Ersatz-emotions which the subject allows to be stimulated within himself in his intercourse with works of art, and see works of art themselves as machines for the production of ever more subtle varieties of such phantasy-material in the perceiving subject. (shrink)

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

that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins in terms of just one or two specific aspects. Thus SCOP (Structural Classification of Proteins) is described as classifying proteins on the basis of structural features; SWISSPROT annotates proteins on the basis of their structure and of parameters like post-translational modifications. Such data sources are connected to each other by pairwise term-to-term mappings. However, there are obstacles which stand in the (...) way of combining them together to form a robust meta-classification of the needed sort. We discuss some formal ontological principles which should be taken into account within the existing datasources in order to make such a metaclassification possible, taking into account also the Gene Ontology (GO) and its application to the annotation of proteins. (shrink)