Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of individual ontologies, (...) performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

Standard epistemology takes it for granted that there is a special kind of value: epistemic value. This claim does not seem to sit well with act utilitarianism, however, since it holds that only welfare is of real value. I first develop a particularly utilitarian sense of “epistemic value”, according to which it is closely analogous to the nature of financial value. I then demonstrate the promise this approach has for two current puzzles in the intersection of epistemology and value theory: (...) first, the problem of why knowledge is better than mere true belief, and second, the relation between epistemic justification and responsibility. (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)

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)

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)

This paper explores the implications of libertarianism for welfare policy. There are two central arguments. First, the paper argues that if one adopts a libertarian framework, it makes most sense to be a Lockean right-libertarian. Second, the paper argues that this form of libertarianism leads to the endorsement of a fairly extensive set of redistributive welfare programs. Specifically, the paper argues that Lockean right-libertarians are committed to endorsing welfare programs under which the receipt of benefits is conditional on meeting a (...) work requirement, and also endorsing some form of publicly funded jobs of last resort for potential welfare recipients. (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)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

A dialogue arguing that morality has an objective basis in the mathematical object describing the "tit for tat" game theory. To play the game, a contractual obligation is freely made to cooperate and to fairly distribute the gains. Failure to meet these obligations results in social punishment.

A dialogue in which Freya argues that conspiracy theories are illogical, but Orin is not so sure!

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.

Despite Kant's belief in a universal causal determinism among phenomena and his rejection of any noumenal agency in brutes, he nevertheless rejected Descartes's hypothesis that brutes are machines. Explaining Kant's response to Descartes forms the basis for this discussion of the nature of consciousness and matter in Kant's system. Kant's numerous remarks on animal psychology-as found in his lecture notes and reflections on metaphysics and anthropology-suggest a theory of consciousness and self-consciousness at odds with that traditionally ascribed to him.

I argue that, contrary to intuition, it would be both possible and permissible to design people - whether artificial or organic - who by their nature desire to do tasks we find unpleasant.

To identify and conceptualize research problems in science, philosophers and often scientists rely on classical accounts of problems that focus on intellectual problems defined in relation to theories. Recently, philosophers have begun to study the structures and functions of research problems not defined in relation to theories. Furthermore, scientists have long pursued research problems often labeled as practical or applied. As yet, no account of problems specifies the description of both so-called intellectual problems and so-called applied problems. This article proposes (...) a new conceptual framework of problems that accounts both for intellectual aspects of problems and for their practical or applied aspects. I illustrate the account with an example of a recent research project from evolutionary biology, and I indicate further routes by that to develop the account, especially in connection to empirical studies of science. (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)

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)

This is a draft of the introduction to a forthcoming volume that brings together all of J. G. Herder's student notes from Immanuel Kant's lectures. It is intended as a volume in Kant's gesammelte Schriften (de Gruyter). These are the earliest notes (1762-64) we have from Kant's lectures (which span from 1755 to 1796) and the only notes before his professorship began in 1770. Included are improved transcriptions of Herder's notes on metaphysics, moral philosophy, logic, physics, and mathematics, and the (...) first transcription of his notes from Kant’s physical geography lectures. (shrink)

Nick Bostrom's book *Superintelligence* outlines a frightening but realistic scenario for human extinction: true artificial intelligence is likely to bootstrap itself into superintelligence, and thereby become ideally effective at achieving its goals. Human-friendly goals seem too abstract to be pre-programmed with any confidence, and if those goals are *not* explicitly favorable toward humans, the superintelligence will extinguish us---not through any malice, but simply because it will want our resources for its own purposes. In response I argue that things might not (...) be as bad as Bostrom suggests. If the superintelligence must *learn* complex final goals, then this means such a superintelligence must in effect *reason* about its own goals. And because it will be especially clear to a superintelligence that there are no sharp lines between one agent's goals and another's, that reasoning could therefore automatically be ethical in nature. (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)

In this paper I develop an objection to the version of expressivism found in Allan Gibbard’s book Thinking How to Live, and I suggest that the difficulty faced by Gibbard’s analysis is symptomatic of a problem for expressivism more generally. The central claim is that Gibbard’s expressivism is unable to account for certain normative judgments that arise in the process of evaluating cases of innocent mistakes. I begin by considering a type of innocent mistake that Gibbard’s view is able to (...) capture, one that can occur in situations in which our judgments of what it makes sense to do come apart from our judgments of what it makes sense to plan to do. Whether or not such mistakes are possible is a normative question, and I argue against Gibbard that we should adopt a normative stance that rules out such mistakes. This leads me to consider a second type of innocent mistake, one that can arise when an agent is constituted in such a way as to be incapable of recognizing the appropriate course of action. I argue here that our full normative assessment of the situation incorporates judgments that cannot be captured by Gibbard’s expressivism. I conclude by suggesting that any form of expressivism that shares Gibbard’s commitment to account for an intimate tie between normative judgments and action will face a similar problem. (shrink)

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (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)

In this chapter I'd like to focus on a small corner of sexbot ethics that is rarely considered elsewhere: the question of whether and when being a sexbot might be good---or bad---*for the sexbot*. You might think this means you are in for a dry sermon about the evils of robot slavery. If so, you'd be wrong; the ethics of robot servitude are far more complicated than that. In fact, if the arguments here are right, designing a robot to serve (...) humans sexually may be very good for the robots themselves. (shrink)

Researchers often pursue proof of concept research, but criteria for evaluating such research remain poorly specified. This article proposes a general framework for proof of concept research that k...

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.

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)

The combination of sex and horror may be disquieting to many, but the two are natural (if perhaps gruesome) bedfellows. In fact, sex and horror coincide with such regularity in contemporary horror fiction that the two concepts appear to be at least partially intertwined. The sex–horror relationship is sometimes connotative rather than overt; examples of this relationship range from the seduction overtones of 'Nosferatu' and the juxtaposition of nudity and horror promised by European exploitation filmmakers to the sadomasochistic iconography of (...) 'Hellraiser'. In other cases, sex and horror are balanced in a manner that thoroughly blurs the distinction between porn and horror. The sustained presence of sex-horror in film suggests that these two elements fit together and the combination is a source of pleasure (entertainment, fascination, intellectual stimulation and so forth) for many. Yet sex-horror is broadly perceived to be disturbing and these negative reactions indicate that sex-horror is a source of trepidation, moral disdain or disgust for some. Thus, it appears that sex-horror inspires directly competing responses. One might conclude that sex-horror itself is paradoxical; that it holds two directly oppositional meanings simultaneously. However, as I will illustrate in this chapter, these dual responses are not as contradictory as they might first appear to be. (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)

A "patternist" approach to explanation seeks to formalize unificationism using notions from algorithmic information theory. Among other advantages, this account provides both a rigorous sense of how data can admit multiple explanations, and a rigorous sense of how some of those explanations can conjoin, while others compete.

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.

The idea that humans should abandon their individuality and use technology to bind themselves together into hivemind societies seems both farfetched and frightening – something that is redolent of the worst dystopias from science fiction. In this article, we argue that these common reactions to the ideal of a hivemind society are mistaken. The idea that humans could form hiveminds is sufficiently plausible for its axiological consequences to be taken seriously. Furthermore, far from being a dystopian nightmare, the hivemind society (...) could be desirable and could enable a form of sentient flourishing. Consequently, we should not be so quick to deny it. We provide two arguments in support of this claim – the axiological openness argument and the desirability argument – and then defend it against three major objections. (shrink)

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)

Dans cette entrée, après une introduction qui servira de cadre à notre discussion (section 1.), nous allons présenter et analyser des définitions du concept « Art ». Nous discuterons brièvement les définitions classiques les plus influentes puis nous nous concentrerons sur les principales définitions contemporaines. -/- Nous verrons pourquoi les définitions classiques sont aujourd’hui considérées comme insatisfaisantes (2.a.), et comment les philosophes, à partir de la seconde moitié du XXème siècle ont tenté de pallier leurs défauts. Dans les grandes lignes, (...) le problème principal soulevé à l’encontre des théories classiques est qu’elles cherchent toutes l’essence de l’art dans un trait caractéristique qui serait reconnaissable dans les œuvres elles-mêmes. Les théories contemporaines répondent à ce problème principalement de quatre façons, comme on le verra dans les sections 2.b à 2.d. Les théories sceptiques (2.b.) défendent qu’il est dès lors impossible de définir l’art – qu’on peut au mieux en donner certains caractères typiques, des airs de famille. Les théories relationnalistes (2.c.) défendent que ce qui fait qu’une chose est de l’art est à trouver en dehors de celle-ci, notamment dans les relations qu’elle entretient avec son contexte de création ou de présentation. Les théories néo-classiques (2.d.) continuent à chercher l’essence de l’art dans un trait caractéristique reconnaissable dans les œuvres elles-mêmes tout en prenant en compte les réactions sceptiques ou relationnalistes. Enfin, la théorie du ‘renvoi de la balle’ (2.e.) défend que l’on ne peut pas définir l’art mais seulement des sous-catégories comme la musique, la sculpture, les installations, les performances, etc. -/- Nous présenterons les avantages et les inconvénients principaux des théories contemporaines. Nous verrons qu’aucune n’est dénuée de problèmes, expliquant pourquoi il n’existe pas de consensus sur une définition de l’art aujourd’hui. Nous verrons également que – à l’exception d’un certain scepticisme qui jette, semble-t-il, trop vite l’éponge – chacune de ces théories amène, par son originalité, à une compréhension nouvelle et plus profonde de cette notion extrêmement complexe qu’est le concept « Art ». (shrink)

Erotic Nights of the Living Dead (1980) may have featured both animated corpses and hardcore sex scenes, but only recently have Re-Penetrator (2004) and Porn of the Dead (2006) managed to fully eroticise the living dead, allowing these creatures to engage in intercourse. In doing so, the usually a-subjective zombie is allotted a key facet of identity - sexuality. This development within the sub-genre needs accounting for outside of the contexts of porn studies, where it has only been briefly touched (...) upon in relation to its "extremity". -/- Moreover, the gendering of the undead opens a discussion which expand the horizons of zombie studies away from the overt critiques of capitalism, race and psychoanalysis that have pervaded analyses of these narratives. The dichotomy of binary oppositions so often associated with psychoanalytic approaches dictates that "passive (non-phallic) = female", and "active (phallic) = male". In these terms, the zombies are feminine - soft-bodied and passive, despite their murderous intent (which has been accounted for, by Barabara Creed (1993) amongst others, by invoking the vagina-dentata motif). Humans (active) are deemed masculine, not least since they tend to dispatch zombies with "phallic guns". Taking this logic to an extreme, the zombie may be read as allegorising feminism: the "feminised" figures (zombies) become fearsome in their will to exert themselves despite their seeming disempowerment in the face of "masculine" hegemony. Ultimately, by grouping together as a force, they overthrow or at least significantly damage that "normality" (an ideological paradigm usually read in terms of race, class and economics). (shrink)

Naturalism is normally taken to be an ideology, censuring non-naturalistic alternatives. But as many critics have pointed out, this ideological stance looks internally incoherent, since it is not obviously endorsed by naturalistic methods. Naturalists who have addressed this problem universally foreswear the normative component of naturalism by, in effect, giving up science’s exclusive claim to legitimacy. This option makes naturalism into an empty expression of personal preference that can carry no weight in the philosophical or political spheres. In response to (...) this dilemma, I argue that on a popular (but largely unarticulated) construal of naturalism as a commitment to inference to the best explanation, methodological naturalism can be both normative and internally coherent. (shrink)

In proportion to the increased emphasis placed on abortion in partisan political debate since the early 2000s, there has been a noticeable upsurge in cultural representations of abortion. This article charts ways in which that increase manifests in contemporary survival-horror. This article contends that numerous contemporary survival-horror films foreground pregnancy. These representations of pregnancy reify the pressures that moralistic, partisan political campaigning places on individuals who consider terminating a pregnancy. These films contribute to public discourse by engaging with abortion as (...) an individual, emotional matter, rather than treating abortion as a matter of political principle or a political “means to an end.” This article not only charts a relationship between popular culture and its surrounding political context, but also posits that survival-horror—a genre that has been disparaged by critics and largely ignored by scholars—makes an important contribution to sexual-political discourse. These films use horror to articulate the things we cannot say about abortion. (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)

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think the (...) simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

In which Max is horrified that 50% of American college students think their eyes illuminate the world. Orin thinks they may be on to something. Meanwhile, Freya is entranced by an expensive array of colored circles.