A powerful objection against moral conventionalism says that it gives the wrong reasons for individual rights and duties. The reason why I must not break my promise to you, for example, should lie in the damage to you—rather than to the practice of promising or to all other participants in that practice. Common targets of this objection include the theories of Hobbes, Gauthier, Hooker, Binmore, and Rawls. I argue that the conventionalism of these theories is superficial; genuinely conventionalist theories are (...) not vulnerable to the objection; and genuine moral conventionalism is independently plausible. (shrink)

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

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar concept-based systems (...) are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (shrink)

Although moral relativists often appeal to cases of apparent moral disagreement between members of different communities to motivate their view, accounting for these exchanges as evincing genuine disagreements constitutes a challenge to the coherence of moral relativism. While many moral relativists acknowledge this problem, attempts to solve it so far have been wanting. In response, moral relativists either give up the claim that there can be moral disagreement between members of different communities or end up with a view on which (...) these disagreements have no “epistemic significance” because they are always faultless. This paper introduces an alternative strategy: accounting for disagreement in terms of “metalinguistic negotiation”. It argues that this strategy constitutes a better solution to the challenge disagreement poses for moral relativists because it leads to a nuanced understanding of the epistemic significance of moral disagreement between members of different communities. The upshot is a novel account of disagreement for moral relativists that has consequences for how moral relativism should be understood. (shrink)

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

Anscombe is usually seen as a critic of “Modern Moral Philosophy.” I attempt a systematic reconstruction and a defense of Anscombe’s positive theory. Anscombe’s metaethics is a hybrid of social constructivism and Aristotelian naturalism. Her three main claims are the following: (1) We cannot trace all duties back to one moral principle; there is more than one source of normativity. (2) Whether I have a certain duty will often be determined by the social practices of my community. For instance, duties (...) imposed by other people’s rights are socially constructed. (3) Whether something constitutes a good, however, will often be determined by human nature—which is not socially constructed. (shrink)

In recent literature many theorists, including Eklund (2011), endorse or express sympathy towards the view that the evaluative content of thick terms is not asserted with utterances of sentences containing them but rather part of their secondary content. In this article we discuss a number of features of thick terms which speak against this view. We further argue that these features are not shared by another, recently much-discussed, class of hybrid evaluative terms, so-called slurs, and that the evaluative contents of (...) these might thus very well be secondary. (shrink)

The theories of Locke, Hume and Kant dominate contemporary philosophical discourse on property rights. This is particularly true of applied ethics, where they are used to settle issues from biotech patents to managerial obligations. Within these theories, however, the usual criticisms of private property aren’t even as much as intelligible. Locke, Hume and Kant, I argue, develop claims about property on a model economy that I call “Frontier Town.” They and contemporary authors then apply these claims to capitalist economies. There (...) are two problems with this application: First, we’ll be considering the wrong kind of property: The only property in Frontier Town are means of life. Critics, however, object to property in concentrated capital because they associate only this kind of property with economic coercion and political power. Second, the two economies differ in central features, so that very different claims about empirical consequences and hence about fairness and merit will be plausible for each. This second problem, I argue, is a consequence of the first. I conclude that Frontier Town theories are more likely to distort than to illuminate property issues in capitalist economies. (shrink)

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

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

This paper draws some bold conclusions from modest premises. My topic is an old one, the Neohumean view of practical rationality. First, I show that this view consists of two independent claims, instrumentalism and subjectivism. Most critics run these together. Instrumentalism is entailed by many theories beyond Neohumeanism, viz. by any theory that says rational actions maximize something. Second, I give a new argument against instrumentalism, using simple counterexamples. This argument systematically undermines consequentialism and rational choice theory, I show, using (...) detailed examples of their many social science applications. There is no obvious fix. (shrink)

A recent wave of academic and popular publications say that utopia is within reach: Automation will progress to such an extent and include so many high-skill tasks that much human work will soon become superfluous. The gains from this highly automated economy, authors suggest, could be used to fund a universal basic income (UBI). Today's employees would live off the robots' products and spend their days on intrinsically valuable pursuits. I argue that this prediction is unlikely to come true. Historical (...) precedent speaks against it, but the main problem is that the prediction fundamentally misunderstands how capitalism works—its incentives to increase or decrease production, its principles of income allocation, and the underlying conception of merit. (shrink)

Based on the Ontology for General Medical Science, we propose definitions for biomarkers of various types of. These definitions provide not only a complete formal representation of what biomarkers are according to the Institute of Medicine (IOM), but also remove the ambiguities and inconsistencies encountered in the documentation provided by the IOM.

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

We suggest a new neo-Aristotelian account of right action: An action A is right for an agent S in a situation C just in case it is possible for A in C to result from a good practical inference. A practical inference is good if people must have a disposition to make such practical inferences where a society is to flourish. One advantage of this account is that it applies to non-ideal agents. It thus blocks the right-but-not-virtuous objection to virtue (...) ethics. Our account furthermore suggests a new way of thinking about the concept of a fully virtuous agent. Ideal agents, we argue, necessarily have certain unmanifested dispositions, and failure is a real possibility for them. (shrink)

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in (...) which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems. (shrink)

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

There is a common demand that moral theory be 'practical', voiced both in- and outside of philosophy. Neo-Humeans, Kantian constitutivists and Aristotelian naturalists have all advocated the idea that my knowledge that I ought to do something must lead me to actually do it—an idea sometimes called the “practicality requirement” for moral theory. Some university administrators apply this idea in practice, when they force students who violate the code of conduct to complete classes in moral theory, hoping that the knowledge (...) obtained there would lead the student not to reoffend. I argue that the practicality requirement rests on a false understanding of the relation both between knowledge and motivation, focusing my critique on recent Aristotelian proposals. (shrink)

The goal of the OBO (Open Biomedical Ontologies) Foundry initiative is to create and maintain an evolving collection of non-overlapping interoperable ontologies that will offer unambiguous representations of the types of entities in biological and biomedical reality. These ontologies are designed to serve non-redundant annotation of data and scientific text. To achieve these ends, the Foundry imposes strict requirements upon the ontologies eligible for inclusion. While these requirements are not met by most existing biomedical terminologies, the latter may nonetheless support (...) the Foundry’s goal of consistent and non-redundant annotation if appropriate mappings of data annotated with their aid can be achieved. To construct such mappings in reliable fashion, however, it is necessary to analyze terminological resources from an ontologically realistic perspective in such a way as to identify the exact import of the ‘concepts’ and associated terms which they contain. We propose a framework for such analysis that is designed to maximize the degree to which legacy terminologies and the data coded with their aid can be successfully used for information-driven clinical and translational research. (shrink)

Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible assets. The Digital Object Identifier (DOI) system provides a framework for the persistent identification of entities involved in this domain. Although the system has been very well designed to manage object identifiers, some important questions relating to the creation and assignment of identifiers are left open. The paradigm of a Referent Tracking System (RTS) recently advanced in the (...) healthcare and life sciences environment is able to fill these gaps. This is demonstrated by pointing out inconsistencies in the existing DOI models and by showing how they can be corrected using an RTS. (shrink)

In this study I analyse the performance of a democratic decision-making rule: the weighted majority rule. It assigns to each voter a number of votes that is proportional to her stakes in the decision. It has been shown that, for collective decisions with two options, the weighted majority rule in combination with self-interested voters maximises the common good when the latter is understood in terms of either the sum-total or prioritarian sum of the voters’ well-being. The main result of my (...) study is that this argument for the weighted majority rule — that it maximises the common good — can be improved along the following three main lines. (1) The argument can be adapted to other criteria of the common good, such as sufficientarian, maximin, leximin or non-welfarist criteria. I propose a generic argument for the collective optimality of the weighted majority rule that works for all of these criteria. (2) The assumption of self-interested voters can be relaxed. First, common-interest voters can be accommodated. Second, even if voters are less than fully competent in judging their self-interest or the common interest, the weighted majority rule is weakly collectively optimal, that is, it almost certainly maximises the common good given large numbers of voters. Third, even for smaller groups of voters, the weighted majority rule still has some attractive features. (3) The scope of the argument can be extended to decisions with more than two options. I state the conditions under which the weighted majority rule maximises the common good even in multi-option contexts. I also analyse the possibility and the detrimental effects of strategic voting. Furthermore, I argue that self-interested voters have reason to accept the weighted majority rule. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...) between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

We answer the title question with a qualified “No.” We arrive at this answer by spelling out what the proper place of the concept 'happiness' is in a neo-Aristotelian virtue ethics: (1) Happiness in the sense of personal well-being has only a loose relation to virtue; it doesn't deserve any prominent place in virtue ethics. (2) Happiness in the sense of flourishing is impossible without virtue, but that doesn't imply that individual actions should aim at flourishing. (3) Instead, flourishing sets (...) the standard of good practical reasoning; it is hardly ever the proper aim of a practical inference. This paper begins with a common (mis)interpretation of neo-Aristotelian virtue ethics, on which it is a form of rational egoism. We then develop our alternative understanding against this foil. (shrink)

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...) clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

Geach is best known for his contributions to theoretical philosophy: Most of his more than one hundred papers and a dozen books are on logic, philosophy of language and metaphysics. But he also made significant contributions to ethics. Particularly influential were a series of short metaethics papers, which are small masterpieces, both in terms of philosophical content and style. In usually less than ten pages, Geach delivers sharp analyses and powerful objections against influential schools. His arguments are always so clear (...) and his examples so simple that they leave the reader wondering why no one before Geach detected the problems he points out. (shrink)

I argue that all rights exist by convention. According to my definition, a right exists by convention just in case its justification appeals to the rules of a socially shared pattern of acting. I show that our usual justifications for rights are circular, that a right fulfills my criterion if all possible justifications for it are circular, and that all existing philosophical justifications for rights are circular or fail. We find three non-circular alternatives in the literature, viz. justifications of rights (...) by consequences, by autonomy or by divine commands. I show that all three alternatives fail, and I conclude that all rights exist by convention. This ontological result has a surprising and beneficial consequence. A common argument against conventionalism is that it implies cultural relativism. I finish by showing that the suggested conventionalism is incompatible with cultural relativism. (shrink)

The IPAP Schizophrenia Algorithm was originally designed in the form of a flow chart to help physicians optimise the treatment of schizophrenic patients. We examined the current version from the perspective of recent work on terminologies and ontologies thereby drawing on the resources of Basic Formal Ontology, and this with the objective to make the algorithm appropriate for Semantic Web applications. We found that Basic Formal Ontology is a rich enough theory to represent all the entities involved and that applying (...) the theory to the IPAP schizophrenia algorithm results in a representation that can be used by software agents to perform monitoring and control in a referent tracking environment. (shrink)

Following Elizabeth Anscombe, rights exist within practices. A right consists in a bundle of possible and impossible moves within the relevant social 'game', e.g. the practice of private property. What becomes of basic rights on such a social-constructivist conception? Metaphysically, basic rights do not differ from other rights. The right not to be murdered, however, enjoys a transcendental status within Anscombe's moral philosophy, and this construction might extend to other basic rights: Since practical reasoning is directed at the good life, (...) there can be no sound practical inference concluding in murder. Anscombe's argument for this presupposes a particular conception of human dignity, which is quite similar to the dominant conception in contemporary human rights literature. (shrink)

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how (...) realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future. (shrink)

Ontological realism aims at the development of high quality ontologies that faithfully represent what is general in reality and to use these ontologies to render heterogeneous data collections comparable. To achieve this second goal for clinical research datasets presupposes not merely (1) that the requisite ontologies already exist, but also (2) that the datasets in question are faithful to reality in the dual sense that (a) they denote only particulars and relationships between particulars that do in fact exist and (b) (...) they do this in terms of the types and type-level relationships described in these ontologies. While much attention has been devoted to (1), work on (2), which is the topic of this paper, is comparatively rare. Using Referent Tracking as basis, we describe a technical data wrangling strategy which consists in creating for each dataset a template that, when applied to each particular record in the dataset, leads to the generation of a collection of Referent Tracking Tuples (RTT) built out of unique identifiers for the entities described by means of the data items in the record. The proposed strategy is based on (i) the distinction between data and what data are about, and (ii) the explicit descriptions of portions of reality which RTTs provide and which range not only over the particulars described by data items in a dataset, but also over these data items themselves. This last feature allows us to describe particulars that are only implicitly referred to by the dataset; to provide information about correspondences between data items in a dataset; and to assert which data items are unjustifiably or redundantly present in or absent from the dataset. The approach has been tested on a dataset collected from patients seeking treatment for orofacial pain at two German universities and made available for the NIDCR-funded OPMQoL project. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed to (...) comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

Many prominent conceptions of moral progress implicitly assume that progress must lead to convergence in the moral domain. However, given the actual plurality of ways of life and attendant moral outlooks, there is no reason to assume improvement must lead to uniformity. Moreover, as the entanglement of the Enlightenment discourse of progress with colonialism makes evident, the assumption that progress must lead to convergence can license problematic practical conclusions. Drawing on insights from postcolonialist critique, I argue in favor of functionalist (...) conceptions of moral progress. Functionalist conceptions of moral progress do not assume that progress must lead to convergence. By contrast, they make it possible to understand progress in a pluralistic way. Functionalist conceptions of moral progress thus offer one way to develop a conception of moral progress, which can offer practical guidance, while taking into account one important line of critique of the discourse of progress. (shrink)

Equipped with the ultimate query answering system, computers would finally be in a position to address all our information needs in a natural way. In this paper, we describe how Language and Computing nv (L&C), a developer of ontology-based natural language understanding systems for the healthcare domain, is working towards the ultimate Question Answering (QA) System for healthcare workers. L&C’s company strategy in this area is to design in a step-by-step fashion the essential components of such a system, each component (...) being designed to solve some one part of the total problem and at the same time reflect well-defined needs on the prat of our customers. We compare our strategy with the research roadmap proposed by the Question Answering Committee of the National Institute of Standards and Technology (NIST), paying special attention to the role of ontology. (shrink)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on business (...) aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (shrink)

Health Level 7 (HL7) is an organization seeking to provide universal standards for the exchange of healthcare information. In a document entitled ‘HL7 Version 3 Standard: Data Types’, the HL7 organization advances descriptions of data types recom- mended for use as identifiers. We will argue that the descriptions supplied provide insufficient guidance as to what exactly the entities are which these data types uniquely identify. Are they real things, such as persons or pieces of equipment? Or are they representations of (...) such real things in information artifacts? We here outline the problems faced by HL7 in providing answers to such questions, problems which arise because of the lack of anything like a coherent ontology in the HL7 standard, and we make some recommendations for future improvements. (shrink)

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships among existing (...) concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies. (shrink)

Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ability (...) to preserve the data that already exists. Here we explore recent technological developments that are designed to counteract such problems by allowing information to be retrieved across disciplinary, cultural, linguistic and technological boundaries. Software applications such as the ones envisaged here will enable speedier recovery of data and facilitate its analysis in ways that will assist both archiving of and research on dance. (shrink)

It is often assumed that neo-Aristotelian virtue ethics postulates an obligation to be a good human being and that it derives further obligations from this idea. The paper argues that this assumption is false, at least for Philippa Foot’s view. Our argument blocks a widespread objection to Foot’s view, and it shows how virtue ethics in general can neutralize such worries.

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)

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

Social scientists have paid insufficient attention to the role of law in constituting the economic institutions of capitalism. Part of this neglect emanates from inadequate conceptions of the nature of law itself. Spontaneous conceptions of law and property rights that downplay the role of the state are criticized here, because they typically assume relatively small numbers of agents and underplay the complexity and uncertainty in developed capitalist systems. In developed capitalist economies, law is sustained through interaction between private agents, courts (...) and the legislative apparatus. Law is also a key institution for overcoming contracting uncertainties. It is furthermore a part of the power structure of society, and a major means by which power is exercised. This argument is illustrated by considering institutions such as property and the firm. Complex systems of law have played a crucial role in capitalist development and are also vital for developing economies. (shrink)

Infusing contemporary critical terrorism studies (CTS) with concepts and methodologies from philosophy and critical theory via a Baradian posthumanist agential realist perspective and (counter)terrorist cases and vignettes, this chapter argues for a retheorisation of (counter)terrorism. It does so, firstly, by reconceptualising terrorism and counterterrorism as complex assemblages consisting not only of discursive-material components – an entanglement now largely accepted within CTS and critical security studies (CSS) – but also of affective layers and more-than-human phenomena. Secondly, by analysing European urban (counter)terrorist (...) cases from the UK, Germany, France, and Spain, together with these cases’ surprising spacetime-jumping interlinkages underwriting what we here conceptualise as queer(ing) spacetimematterings, this chapter zooms in on the intra-actions taking place between human and more-than-human agential phenomena and their risk-managed urban environments. Lastly, extra analytical attention is paid to how, in this neoliberal day and age – here rephrased as control society-driven ‘situationscaping times’ – very specific macro- and micropolitical violence-preventing measures and efforts are employed in the fight against various manifestations of urban terror and terrorism. (shrink)

Moral perceptualism is the view that perceptual experience is attuned to pick up on moral features in our environment, just as it is attuned to pick up on mundane features of an environment like textures, shapes, colors, pitches, and timbres. One important family of views that incorporate moral perception are those of virtue theorists and sensibility theorists. On these views, one central ability of the virtuous agent is her sensitivity to morally relevant features of situations, where this sensitivity is often (...) spoken of in perceptual terms. However, sensibility theorists have often not been careful to specify how to understand their claims about moral sensibilities as perceptual. In this paper, we distinguish between what we call Attentional Moral Perception and Contentful Moral Perception. We argue that sensibility theorists should endorse Attentional Moral Perception, because it has very powerful empirical evidence in its favor, and it can play all of the explanatory roles that the sensibility theorist needs in her theory of moral sensibilities. (shrink)