Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...) form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review and (...) consensus via a formal structured process by a panel of experts for revision of the RDC/TMD. Results: The recommended Diagnostic Criteria for TMD (DC/TMD) Axis I protocol includes both a valid screener for pain diagnoses and valid criteria for the most common pain-related TMDs and for one intra-articular disorder. The Axis II protocol retains selected RDC/TMD screening instruments augmented with new instruments to better assess the interactions between pain and psychosocial functioning. A comprehensive classification system is also presented. Conclusion: The recommended evidence-based DC/TMD protocol is appropriate for use in both the clinical and research settings. Simple Axis I and II screening tests augmented by validated Axis I and Axis II instruments allow for identification of simple to complex TMD patients. (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)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (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)

What are the possible varieties of cognition-artifact relations, and which dimensions are relevant for exploring these varieties? This question is answered in two steps. First, three levels of functional and informational integration between human agent and cognitive artifact are distinguished. These levels are based on the degree of interactivity and direction of information flow, and range from monocausal and bicausal relations to continuous reciprocal causation. In these levels there is a hierarchy of integrative processes in which there is an increasing (...) degree of hybridization. Therefore, from a functional and informational level of abstraction, it becomes increasingly difficult to distinguish between agent and artifact in this hierarchy. Second, a multidimensional matrix for exploring cognition-artifact relations is sketched. The dimensions in the matrix include reliability, durability, trust, procedural and representational transparency, individualization, bandwidth, speed of information flow, distribution of computation, and cognitive and artifactual transformation. Together, these dimensions constitute a multidimensional space in which particular cognition-artifact relations can be located. The higher a particular cognition-artifact relation scores on these dimensions, the more integration and hybridization occurs, and the more tightly coupled the overall system is. It is then better, for explanatory reasons, to see agent and artifact as one cognitive system with a distributed informational architecture. (shrink)

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (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)

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)

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)

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.

Tourism is one of the socio-economic trends that significantly contributes to the shift of the planetary system into the Anthropocene regime. At the same time, it is also a socio-cultural practice characteristic of the imperial mode of living, or consumerism. Thus, it is a form of commodification of nature, also a way of deepening social inequalities between a privileged minority of the global population and an exploited majority providing services to those whose socio-economic status allows them to travel for fun (...) and commoditised “experience”. This is not an inevitable activity, an activity in which environmental costs (carbon footprint, water footprint, energy consumption, and waste production) are necessary to ensure the basic resources of life. Tourism is therefore a form of luxury consumption. For any tourism model to be, not only, environmentally sustainable but also socially just, or at least acceptable, it would have to be accessible to all people. Ecotourism should also have to meet the criterion of a solidarity mode of living referred to as sufficiency. This is hardly conceivable in the climatic, demographic, and political regime of the Anthropocene. The latter is likely to be characterized by, among other things, mass migration of climate or environmental refugees on the one hand and climate apartheid of the states of the global North on the other. Ecotourism, accessible to an even smaller proportion of the world`s population than the current mass tourism, will thus be more likely to accentuate the social and environmental inequalities of which it is already a significant manifestation. Therefore, the question is whether the concept of ecotourism is not just another manifestation of greenwashing, i.e. an attempt to legitimize economic, social, and cultural activities that devastate the social and environmental environment. (shrink)

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.

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)

In this introduction to the Oxford Handbook of Philosophy and Psychoanalysis, we provide an overview of the promise and problems of connecting philosophy and psychoanalysis through a focus on the age-old theme central to both disciplines, 'know thyself'.

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)

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)

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)

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of arithmetical induction. This (...) proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)

Joy of a certain kind has an important affective role in demonstrating the overcoming of nihilism for Nietzsche. In this chapter I explore how one might arrive at a point where they too can give voice to Zarathustra’s proclamation that “all joy wills eternity.” There are consistent references to eternity and infinitude in passages of Nietzsche’s discussing nihilism. This is most obviously borne out in Nietzsche scholarship with reference to discussions of eternal recurrence. But eternal recurrence does not have a (...) monopoly for denoting Nietzsche’s employment of the motifs of eternity and infinitude. Eternal recurrence and its affirmation, I argue, is only a kind of end point for a process of overcoming nihilism. -/- My concern here is the manner in which Nietzsche employs these motifs to track three different stages related to nihilism. The first stage demonstrates an affective response of initial disorientation, which aims to engender a realization by the “marketplace atheists” that humanity must undergo the phenomenon of nihilism. Th e second stage documents an active confrontation with this phenomenon, which in turn offers deeper, more terrifying yet also more positive consequences of this realization, ones proffering new forms of freedom. The third stage is the constructive use to which Nietzsche sets these motifs in the service of life-affirmation, of which eternal recurrence plays an integral part. I examine several important passages using these motifs in Nietzsche’s mature writings, particularly from The Gay Science and Thus Spoke Zarathustra, to claim that they inform a developmental process concerning the realization of nihilism and its overcoming. -/- I conclude by claiming that the motifs of eternity and infinitude’s employment at each of these three stages mirrors the substance of the “Three Metamorphoses of the Spirit” section in Thus Spoke Zarathustra. (shrink)

In this chapter we explain what experimental philosophy of science is, how it relates to the philosophy of science, and STS more broadly, and what sorts of contributions is can make to ongoing research in the philosophy of science.

STIRNERs "Verdienst" geht im Grunde auf ein einziges Werk zurück: Der Einzige und sein Eigenthum erschienen 1844/45 in Leipzig. Hören wir also, was "berufene" Geister der Geschichte über ihn zu schreiben wußten: ARNOLD RUGE ein führender Kopf des sogenannten Vormärz der 48er Revolution des letzten Jahrhunderts, hat das Buch bei seinem ersten Erscheinen als "frischen Morgenruf im Lager der schlafenden Theoretiker" begrüßt. LUDWIG FEUERBACH nannte es, trotz einiger Einwände; das "Werk des genialsten und freiesten Schriftstellers, den er kenne". MAX NETTLAU (...) schreibt 1925, daß nur wenige Bücher so mißverstanden oder so verschiedenartig beurteilt werden wie dieses, "und viele Leser bleiben bei einem auf die Spitze getriebenen Individualismus oder Egoismus stehen, den sie herauslesen wollen". (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)

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)

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded (...) cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet. (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.

I argue that uniquely human forms of ‘Theory of Mind’ are a product of cultural evolution. Specifically, propositional attitude psychology is a linguistically constructed folk model of the human mind, invented by our ancestors for a range of tasks and refined over successive generations of users. The construction of these folk models gave humans new tools for thinking and reasoning about mental states—and so imbued us with abilities not shared by non-linguistic species. I also argue that uniquely human forms of (...) ToM are not required for language development, such that an account of the cultural origins of ToM does not jeopardise the explanation of language development. Finally, I sketch a historical model of the cultural evolution of mental state talk. (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)

The book is an attempt to identify the main principles of a new political philosophy corresponding to the parameters of the Anthropocene, i.e. the geological-climatic epoch of the planetary system in which the negative influence of man on planetary cycles and evolutionary processes exceeds the influence of geological forces. Humanity has become the dominant force affecting all components of the planetary ecosystem (biosphere, hydrosphere, atmosphere, cryosphere, lithosphere) and its activities bring with them problems that affect the social and political spheres. (...) An Introduction to Environmental Political Philosophy illustrates these problems, examines their causes and phenomena, and seeks to understand them in detail. The book does not formulate cheap populist solutions or serve as a political agenda. Rather, it presents philosophical analyses of ecologically, sociologically, politically, and economically contingent phenomena in order to achieve a comprehensive understanding of the socio-political situation of the Anthropocene. (shrink)

This analysis shows Cantor's diagonal definition in his 1891 paper was not compatible with his horizontal enumeration of the infinite set M. The diagonal sequence was a counterfeit which he used to produce an apparent exclusion of a single sequence to prove the cardinality of M is greater than the cardinality of the set of integers N.

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)

The Health Level 7 Reference Information Model (HL7 RIM) is lauded by its authors as ‘the foundation of healthcare interoperability’. Yet even after some 10 years of development work, the RIM is still subject to a variety of logical and ontological flaws which have placed severe obstacles in the way of those who are called upon to develop implementations. We offer evidence that these obstacles are insurmountable and that the time has come to abandon an unworkable paradigm.