Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (shrink)

As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all those needing to annotate data using ontology classes. This paper summarises ENVO’s motivation, (...) content, structure, adoption, and governance approach. (shrink)

Recently, the practice of deciding legal cases on purely statistical evidence has been widely criticised. Many feel uncomfortable with finding someone guilty on the basis of bare probabilities, even though the chance of error might be stupendously small. This is an important issue: with the rise of DNA profiling, courts are increasingly faced with purely statistical evidence. A prominent line of argument—endorsed by Blome-Tillmann 2017; Smith 2018; and Littlejohn 2018—rejects the use of such evidence by appealing to epistemic norms (...) that apply to individual inquirers. My aim in this paper is to rehabilitate purely statistical evidence by arguing that, given the broader aims of legal systems, there are scenarios in which relying on such evidence is appropriate. Along the way I explain why popular arguments appealing to individual epistemic norms to reject legal reliance on bare statistics are unconvincing, by showing that courts and individuals face different epistemic predicaments (in short, individuals can hedge when confronted with statistical evidence, whilst legal tribunals cannot). I also correct some misconceptions about legal practice that have found their way into the recent literature. (shrink)

Smith proposes an account of how languages developed. He did so not as historian, but as a philosopher with a special concern about how a nominalist could account for general terms. Names for individuals are taken as fairly unproblematic – say ‘Thames’ and ‘Avon’ for each of the respective rivers. But whence the word ‘river,’ applicable to more than one, if all that exist are particular objects? Smith’s view is not the usual one, according to which people deploy (...) a powerful ability to abstract mentally, and subsequently affix a label to a general concept. He resisted this because he granted that such robust mental processes themselves presuppose the use of words. Rather, what holds the class together is the word itself, a “single appellation.”. (shrink)

A critique of dubious contrasts between "science" and "religion" drawn on the basis of cognitive-evolutionary accounts of human psychology, e.g.,. the claim that religious concepts are “likely” and “natural” for the human mind whereas scientific thinking is “rare” and “unnatural.” Initially made by biologist Lewis Wolpert in *The Unnatural Nature of Science* (1993) and anthropologist Pascal Boyer in *Religion Explained: The Evolutionary Origins of Religious Thought* (2001), they are developed at length by philosopher R. N. McCauley in a*Why Religion (...) is Natural and Science is Not* (2011). These contrasts involve tendentiously narrow or broad definitions of the terms “science” and “religion” and the obliteration of the complex historical and intellectual relations between the ideas and practices currently identified by those terms. (shrink)

I distinguish paradoxes and hypodoxes among the conundrums of time travel. I introduce ‘hypodoxes’ as a term for seemingly consistent conundrums that seem to be related to various paradoxes, as the Truth-teller is related to the Liar. In this article, I briefly compare paradoxes and hypodoxes of time travel with Liar paradoxes and Truth-teller hypodoxes. I also discuss Lewis’ treatment of time travel paradoxes, which I characterise as a Laissez Faire theory of time travel. Time travel paradoxes are impossible (...) according to Laissez Faire theories, while it seems hypodoxes are possible. (shrink)

We present a dynamic model of the evolution of communication in a Lewis signaling game while systematically varying the degree of common interest between sender and receiver. We show that the level of common interest between sender and receiver is strongly predictive of the amount of information transferred between them. We also discuss a set of rare but interesting cases in which common interest is almost entirely absent, yet substantial information transfer persists in a *cheap talk* regime, and offer (...) a diagnosis of how this may arise. -/- . (shrink)

Entitlement is conceived as a kind of positive epistemic status, attaching to certain propositions, that involves no cognitive or intellectual accomplishment on the part of the beneficiary — a status that is in place by default. In this paper I will argue that the notion of entitlement — or something very like it — falls out of an idea that may at first blush seem rather disparate: that the evidential support relation can be understood as a kind of variably strict (...) conditional (in the sense of Lewis 1973). Lewis provided a general recipe for deriving what he termed inner modalities from any variably strict conditional governed by a logic meeting certain constraints. On my proposal, entitlement need be nothing more exotic than the inner necessity associated with evidential support. Understanding entitlement in this way helps to answer some common concerns — in particular, the concern that entitlement could only be a pragmatic, and not genuinely epistemic, status. (shrink)

What is the concept of sense developed by Deleuze in his 1969 Logic of Sense? This paper attempts to answer this question analysing the three dimensions of language that Deleuze isolates: the primary order of noises and intensities ; the secondary order of sense ; and the tertiary organisation of propositions. What renders language possible is that which separates sounds from bodies and organises them into propositions, freeing them for the expressive function. Deleuze argues that it is the dimension of (...) sense that brings about this genesis of language, and he analyses in detail the three syntheses that bring about the production of this surface of sense. Yet Deleuze also distinguishes between two types of non-sense: the nonsense of Lewis Carroll's portmanteau words, which remain ensconced in the dimension of sense, and the more profound nonsense of Antonin Artaud's psychotic scream-breaths, which penetrate the almost unbearable world of the primary order of noise and intensities. In the end, the focus of Logic of Sense is less the surface domain of sense than the primary depth of corporeal intensities. What Deleuze calls a ‘minor’ use of language is nothing other than an intensive use of language that constitutes a principle of metamorphosis. (shrink)

The ethos of Justin Smith’s Nature, Human Nature, & Human Difference is expressed in the narrative of Anton Wilhelm Amo (~1703-53), an African-born​ slave who earned his doctoral degree in Philosophy at a European university and went on to teach at the Universities of Jena and Halle. Smith identifies Amo as a time-marker for diverging interpretations of race: race as inherently tethered to physical difference and race as inherited essential difference. Further, these interpretations of race are fastened to (...) the discourse of science and human diversity within modern Europe. Smith’s thesis maintains that the rise of the concept of race in philosophy begins with a divorcing of the soul from human nature and a movement to a naturalistic classification of human beings through taxonomies (e.g. botany, mineralogy and zoology), which dissolved into this dichotomy: an essential difference between people of reason and people of nature. (shrink)

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...) to enable implementations to do justice to the fact that the processes carried out in health care organizations may deviate in different ways from the norms set forth in corresponding guideline definitions. This means that implementations built in conformity with the framework will be marked by a type of flexibility that might make them more likely to be accepted by healthcare professionals than are standard guideline-based management systems. (shrink)

A lineage of prominent philosophers who have discussed the second-person relation can be regarded as advancing structural accounts. They posit that the second-person relation effects one transformative change to the structure of practical reasoning. In this paper, I criticise this orthodoxy and offer an alternative, substantive account. That is, I argue that entering into second-personal relations with others does indeed affect one's practical reasoning, but it does this not by altering the structure of one's agential thought, but by changing what (...) reasons can become available. The importance of second-personal thought for action is heterogenous. Second-person relations make possible the emergence of a wide variety of different kinds of practical reasons: creating some, revealing others. Recognising this diminishes the appeal of the traditional, structural accounts of the practical significance of such second-personal relations. Moving away from structural accounts facilitates a more thorough understanding of the intersubjective form of action. (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)

Criminal juries make decisions of great importance. A key criticism of juries is that they are unreliable in a multitude of ways, from exhibiting racial or gendered biases, to misunderstanding their role, to engaging in impropriety such as internet research. Recently, some have even claimed that the use of juries creates injustice on a large-scale, as a cause of low conviction rates for sexual criminality. Unfortunately, empirical research into jury deliberation is undermined by the fact that researchers are unable to (...) study live juries. The indirect sources of evidence used by researchers suffer from various problems, the most important of which is dubious levels of ecological validity. Real jury research—studying live jury deliberation—is controversial. However, as I argue, the objections to it are unconvincing. There is in fact a moral imperative to facilitate real jury research. (shrink)

ABSTRACT A thriving project in contemporary epistemology concerns identifying and explicating the epistemic virtues. Although there is little sustained argument for this claim, a number of prominent sources suggest that curiosity is an epistemic virtue. In this paper, I provide an account of the virtue of curiosity. After arguing that virtuous curiosity must be appropriately discerning, timely and exacting, I then situate my account in relation to two broader questions for virtue responsibilists: What sort of motivations are required for epistemic (...) virtue? And do epistemic virtues need to be reliable? I will sketch an account on which curiosity is only virtuous when rooted in a non-instrumental appreciation of epistemic goods, before arguing that curiosity can exhibit intellectual virtue irrespective of whether one is reliable in satisfying it. (shrink)

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

I argue that traditional views on which beliefs are subject only to purely epistemic assessment can reject demographic profiling, even when based on seemingly robust evidence. This is because the moral failures involved in demographic profiling can be located in the decision not to suspend judgment, rather than supposing that beliefs themselves are a locus of moral evaluation. A key moral reason to suspend judgment when faced with adverse demographic evidence is to promote social equality—this explains why positive profiling is (...) dubious, along with more familiar cases of negative profiling, and why profiling is suspect even when no particular action is at stake. My suspension-based view, while compatible with revisionary normative positions, does not presuppose them. Philosophers of all stripes can reject demographic profiling both in thought and deed. (shrink)

Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In our (...) previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (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)

Identification of non-coding RNAs (ncRNAs) has been significantly enhanced due to the rapid advancement in sequencing technologies. On the other hand, semantic annotation of ncRNA data lag behind their identification, and there is a great need to effectively integrate discovery from relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a precisely defined ncRNA controlled vocabulary, which can fill a specific and highly needed niche in unification of ncRNA biology.

This paper is about the similarity between the appreciation of a piece of art, such as a cherished music album, and the loving appreciation of a person whom one knows well. In philosophical discussion about the rationality of love, the Qualities View (QV) says that love can be justified by reference to the qualities of the beloved. I argue that the oft-rehearsed trading-up objection fails to undermine the QV. The problems typically identified by the objection arise from the idea that (...) love-worthy qualities could be coarse-grained, when in fact they must be fine-grained. The analogy with appreciation of aesthetic qualities helps to draw out this point. Once the fine-grained nature of love-worthy qualities is properly understood, it is clear that critics of the QV cannot rely on the trading-up objection to motivate its rejection. Moreover, the paper’s core argument helps to illuminate the persistently aesthetic nature of interpersonal affections. (shrink)

Despite playing an important role in epistemology, philosophy of science, and more recently in moral philosophy and aesthetics, the nature of understanding is still much contested. One attractive framework attempts to reduce understanding to other familiar epistemic states. This paper explores and develops a methodology for testing such reductionist theories before offering a counterexample to a recently defended variant on which understanding reduces to what an agent knows.

This article constructively retrieves St. Anselm of Canterbury’s theory of retributive justice and provides a defense of what can be called the retributive model of hell. In the first part of this article, we develop the place of retributive punishment in Anselm’s thinking and discuss how and when retributive punishment is a good thing. In the second part, we apply Anselm’s thinking on retributive justice to the problem of hell and provide a defense of how hell, defined as a state (...) of receiving retributive, damnatory, and irreversible punishment, is good. We then address a series of objections. Despite some criticism that both Anselm and the retributive model of hell receive in the contemporary literature, Anselm’s account of retributive justice can make unique and constructive contributions to the contemporary discussion of hell; by retrieving and applying Anselm’s thought to the problem of hell, we intend to kill two birds with one stone. (shrink)

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (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)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Thomas Reid's philosophy of mind, epistemology, and philosophy of language all rely on his account of signs and signification. On Reid's view, some entities play a role of indicating other entities to our minds. In some cases, our sensitivity to this indication is learned through experience, whereas in others, the sensitivity is built in to our natural constitutions. Unlike representation, which was presumed to depend on resemblances and necessary connections, signification is the sort of relationship that can occur without any (...) intrinsic ties between the sign and the thing signified. Of particular interest is the priority Reid gives to natural signs. Reid deploys his robust account of natural signs in a way that allows him to sidestep some skeptical worries common in the early modern period, as well as in grounding “artificial” human languages like English or Cantonese on a more basic human capacity for communication, that is, itself, the result of our sensitivity to natural signs of other people's minds. (shrink)

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

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)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

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)

Second part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the last sections of the original paper. || Segunda parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a últimas secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

This paper examines the intersecting of the themes of temporality and truth in Deleuze's philosophy. For the ancients, truth was something eternal: what was true was true in all times and in all places. Temporality (coming to be and passing away) was the realm of the mutable, not the eternal. In the seventeenth century, change began to be seen in a positive light (progress, evolution, and so on), but this change was seen to be possible only because of the immutable (...) laws of nature that govern change. It was not until philosophers such as Bergson, James, Whitehead – and then Deleuze – that time began to be taken seriously on its own account. On the one hand, in Deleuze, time, freed from its subordination to movement, now becomes autonomous: it is the pure form of change (continuous variation) that lies at the basis of Deleuze's metaphysics in Difference and Repetition (and is explored more thematically in The Time-Image). As a result, on the other hand, the false, freed from its subordination to the form of the true, assumes a power of its own (the power of the false), which in turn implies a new ‘analytic of the concept’ that Deleuze develops in What Is Philosophy? (shrink)

: In the epistemology of the late Wittgenstein, a central place is given to the notion of the hinge: an arational commitment that provides a foundation of some sort for the rest of our beliefs. Quasi-fideism is an approach to the epistemology of religion that argues that religious belief is on an epistemic par with other sorts of belief inasmuch as religious and non-religious beliefs all rely on hinges. I consider in this paper what it takes to find the appropriate (...) hinge for a quasi-fideist approach to the epistemology of religion. (shrink)

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (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)

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 Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (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 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)

A moral requirement R1 is said to be lexically prior to a moral requirement R2 just in case we are morally obliged to uphold R1 at the expense of R2 – no matter how many times R2 must be violated thereby. While lexical priority is a feature of many ethical theories, and arguably a part of common sense morality, attempts to model it within the framework of decision theory have led to a series of problems – a fact which is (...) sometimes spun as a ‘decision theoretic critique’ of lexical priority. In this paper, I develop an enriched decision theoretic framework that is capable of modelling lexical priority while avoiding all extant problems. This will involve introducing several new ingredients into the standard decision theoretic framework, including multidimensional utilities, de minimis risks, and the means to represent two different conceptions of risk. (shrink)