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

The development of the Functional Genomics Investigation Ontology (FuGO) is a collaborative, international effort that will provide a resource for annotating functional genomics investigations, including the study design, protocols and instrumentation used, the data generated and the types of analysis performed on the data. FuGO will contain both terms that are universal to all functional genomics investigations and those that are domain specific. In this way, the ontology will serve as the “semantic glue” to provide a common understanding of data (...) from across these disparate data sources. In addition, FuGO will reference out to existing mature ontologies to avoid the need to duplicate these resources, and will do so in such a way as to enable their ease of use in annotation. This project is in the early stages of development; the paper will describe efforts to initiate the project, the scope and organization of the project, the work accomplished to date, and the challenges encountered, as well as future plans. (shrink)

Is it permissible to be a fan of an artist or a sports team that has behaved immorally? While this issue has recently been the subject of widespread public debate, it has received little attention in the philosophical literature. This paper will investigate this issue by examining the nature and ethics of fandom. I will argue that the crimes and misdemeanors of the object of fandom provide three kinds of moral reasons for fans to abandon their fandom. First, being a (...) fan of the immoral may provide support for their immoral behavior. Second, fandom alters our perception in ways that will often lead us to be fail to perceive our idol’s faults and even to adopting immoral points of view in order to be able to maintain the positive view we have of them. Third, fandom, like friendship, may lead us to engage in acts of loyalty to protect the interests of our idols. This gives fans of the immoral good reason to abandon their fandom. However, these reasons will not always be conclusive and, in some cases, it may be possible to instead adopt a critical form of fandom. (shrink)

We introduce a herbrandized functional interpretation of a first-order semi-intuitionistic extension of Heyting Arithmetic and study its main properties. We then extend the interpretation to a certain system of second-order arithmetic which includes a (classically false) formulation of the FAN principle and weak König's lemma. It is shown that any first-order formula provable in this system is classically true. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.

I argue that sports clubs should be punished for bad behaviour by their fans in a way that affects the club’s sporting success: for example, we are justified in imposing points deductions and competition disqualifications on the basis of racist chanting. This is despite a worry that punishing clubs in such a way is unfair because it targets the sports team rather than the fans who misbehaved. I argue that this belies a misunderstanding of the nature of sports clubs and (...) of the nature of sporting success. Further, I argue that fans should want to be held responsible in such a way because it vindicates the significant role that they play in the life of their club. (shrink)

The uniform continuity theorem states that every pointwise continuous real‐valued function on the unit interval is uniformly continuous. In constructive mathematics, is strictly stronger than the decidable fan theorem, but Loeb [17] has shown that the two principles become equivalent by encoding continuous real‐valued functions as type‐one functions. However, the precise relation between such type‐one functions and continuous real‐valued functions (usually described as type‐two objects) has been unknown. In this paper, we introduce an appropriate notion of continuity for a modulus (...) of a continuous real‐valued function on [0, 1], and show that real‐valued functions with continuous moduli are exactly those functions induced by Loeb's codes. Our characterisation relies on two assumptions: (1) real numbers are represented by regular sequences (equivalently Cauchy sequences with explicitly given moduli); (2) the continuity of a modulus is defined with respect to the product metric on the regular sequences inherited from the Baire space. Our result implies that is equivalent to the statement that every pointwise continuous real‐valued function on [0, 1] with a continuous modulus is uniformly continuous. We also show that is equivalent to a similar principle for real‐valued functions on the Cantor space. These results extend Berger's [2] characterisation of for integer‐valued functions on and unify some characterisations of in terms of functions having continuous moduli. (shrink)

This essay proposes that subcultural practices such as gossip and fan writing are feminist epistemologies that can form radical archive inquiry and knowledge production, and creative outputs. Drawing on feminist new materialism and archive theory, I develop a set of principles for practice-based research methodologies that incorporate a researcher's intersubjective relationship with archive matter (e.g. records, documents, classification systems, social-material contexts) and consider the production of knowledge from such research as forms of tabulation. Fabulation here is seen as part of (...) a critically transgressive epistemological stance that expands feminist critiques of universalising master narratives and archive orthodoxies. My proposition, formed in part through a residency in the Woman's Art Library in London, is to name such research gestures ‘archive fanfiction’, where experimental and practice-oriented method moves with feminist politics and activism. (shrink)

Ben shu yi xing wei wu jia zhi er yuan lun wei yan jiu zhu xian, an zhao " ke guan gou cheng yao jian, pai chu ke guan wei fa de shi you, zhu guan gou cheng yao jian, pai chu zhu guan ze ren de shi you " si jie ceng fan zui lun ti xi de jia gou, cong ke guan yao jian, zhu guan yao jian, xiu zheng xing tai san ge wei du, lin xuan fan (...) zui lun ling yu de ruo gan zheng yi wen ti yi ci zhan kai tao lun. ben shu jian chi yi wen ti wei dao xiang, wei rao si fa shi jian ti chu de nan ti, shu li xue shuo de mai luo, kao cha li fa de tuo dang xing, dui ge zhong li lun he guan dian tiao fen lü xi, zhi li yu li lun, li fa yu si fa de liang xing hu dong he xie diao fa zhan, ti chu de fang an zai yi ding cheng du shang hui da le li lun he shi jian zhong de yi wen. (shrink)

Any counterfactual with a true antecedent and a true consequent is invariably predicted to be true by the standard Stalnaker–Lewis semantics. But many such true–true counterfactuals appear false to ordinary speakers, which is considered by many authors as evidence that the standard semantics should be revised. However, Walters and Williams prove that allowing true–true counterfactuals to be false would unacceptably invalidate some very plausible logical principles. The objective of this paper is to provide a pragmatic account of seemingly false true–true (...) counterfactuals, which explains why such counterfactuals seem false to ordinary speakers while being true semantically. In particular, a pluralistic pragmatic account is pursued: I argue that some true–trues seem false because they conversationally implicate some falsehood, and some others seem false because the focus (intonation stress) involved in them invokes some pragmatic re‐interpretation that affects speakers' truth‐value judgments. (shrink)

The existence and uniqueness of a maximum point for a continuous real—valued function on a metric space are investigated constructively. In particular, it is shown, in the spirit of reverse mathematics, that a natural unique existence theorem is equivalent to the fan theorem.

This paper develops an understanding of the nature of sport fans that helps rebut the charge of nihilism leveled against identity anti-essentialism as represented in the work of Butler, Appiah, and...

The graph tong同and its associated concepts, such as da-tong (Great tong大同) and xuan-tong (mystic or dark tong玄同), have played important roles in the development of Chinese philosophy. Yet tong has received scant attention from either western or eastern scholarships. This paper is a first attempt to remedy such regret. Unlike usual understandings of tong as sameness or unity, this paper presents a nuanced account from early China, that is, ‘difference to one,’ a definition from the Mozi墨子. This definition can be (...) supported from etymological, textual, and lexical evidence. ‘Difference to one’ should not be solely attributed to a Mohist understanding; it in fact represents a common understanding of tong across philosophical streams in early China. This nuanced account provides new insights into the concept of tong in early philosophical texts, and furthermore breaks solid grounds for further studies of tong and its associated concepts. (shrink)

潘知常(1956~ ),湖南醴陵人,南京大学企业形象研究中心主任、教授,中国文艺理论学会理事,中华美学学会青年学术委员会副主任.

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...) we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)

ABSTRACTSports fans sometimes feel shame for their team’s moral transgressions. In this paper, we investigate this phenomenon. We offer an account of sports fan shame in terms of collective shame....

Healthcare systems in Singapore, Hong Kong, and mainland China are strikingly distinct from those in the West. Economically speaking, each of the aforementioned Eastern systems relies in great measure on private expenditures supplemented by savings accounts. Western nations, on the other hand, typically exhibit government funding and wariness about healthcare savings accounts. This essay argues that these and other differences between Pacific Rim healthcare systems and Western systems should be assessed in light of background Confucian commitments operating in the former. (...) In the Confucian context, bioethics and healthcare policy have a unique content, texture, and set of implications that often affront Western assumptions about the appropriate individual autonomy of patients and the appropriate character of social safety nets for healthcare. (shrink)

Parental participation has gained significant attention in environmental psychology, which has revealed a need for an instrument that can measure parental participation with children regarding environmental issues. The present study met this need by validating the parental participation in the environment scale. This process began with 45 Chinese parents participating in an individual interview and group discussions, which helped generate a list of eighteen parent-child environmental activities. The activities were then modified and validated in the current study with a diverse (...) group of 969 parents recruited from six major Chinese cities. Both score structure evidence and generalizability evidence were obtained within this sample, and psychometric tests suggested a single factor construct with nine items. Once the PPE scale was revised, it showed measurement invariance across the parent who responded to the items, across the child’s primary caregiver, across the family’s living region, as well as across the family’s income group. Finally, evidence based on relations to other variables showed a relationship among parents’ PPE, pro-environmental behavior, and connectedness with nature. As a result, the study provided a novel measure to assess pro-environmental socialization via parental participation. (shrink)

In recent years, knowledge management has been utilized as an essential strategy to foster the creation of organizational intellectual capital. Organizational intellectual capital can be derived both individually and collectively in the process to create, store, share, acquire, and apply personal and organizational knowledge. However, some organizations only focus on the development of public good, despite the concerns arising from individuals' self-interest or possible risks. The different concern of individual and collective perspectives toward knowledge management inevitably leads to ethical conflicts (...) and ethical culture in the organization (Jarvenpaa et al., J Manage Inf Syst 14(4): 29-64, 1998; Ruppel and Harrington, IEEE Trans Prof Commun 44(l): 37-52, 2000). The purpose of this study is to examine the ethical climate within the organization and its possible influence on members' evaluation, satisfaction, engagement, and job performance with respect to knowledge management practice. The research results reveal that several types of organizational ethical climate coexist in the organization and have different degrees of influence on employees' attitude as well as participation in knowledge management activities. In this article, we argue the importance of organizational ethical climate and highlight the implications of such a climate for facilitating knowledge management. (shrink)