Using Insights from Psychology and Language to Improve How People Reason with Description Logics

Inspired by insights from theories of human reasoning and language, we propose additions to the Manchester OWL Syntax to improve comprehensibility. These additions cover: functional and inverse functional properties, negated conjunction, the definition of exceptions, and existential and universal restrictions. By means of an empirical study, we demonstrate the effectiveness of a number of these additions, in particular: the use of solely to clarify the uniqueness of the object in a functional property; the replacement of and with intersection in conjunction, which was particularly beneficial in negated conjunction; the use of except as a substitute for and not; and the replacement of some with including and only with noneOrOnly, which helped in certain situations to clarify the nature of these restrictions

The Anatomy of the Internet Meets the Body of the Law

Symposium: Copyright Owners\u27 Rights and Users\u27 Privileges on the Interne

Software Reverse Engineering in the Real World

Symposium: Copyright Protection and Reverse Engineering of Softwar

Inhibition of gap junction and adherens junction assembly by connexin and A-CAM antibodies

We examined the roles of the extracellular domains of a gap junction protein and a cell adhesion molecule in gap junction and adherens junction formation by altering cell interactions with antibody Fab fragments. Using immunoblotting and immunocytochemistry we demonstrated that Novikoff cells contained the gap junction protein, connexin43 (Cx43), and the cell adhesion molecule, A-CAM (N-cadherin). Cells were dissociated in EDTA, allowed to recover, and reaggregated for 60 min in media containing Fab fragments prepared from a number of antibodies. We observed no cell-cell dye transfer 4 min after microinjection in 90% of the cell pairs treated with Fab fragments of antibodies for the first or second extracellular domain of Cx43, the second extracellular domain of connexin32 (Cx32) or A-CAM. Cell-cell dye transfer was detected within 30 s in cell pairs treated with control Fab fragments (pre-immune serum, antibodies to the rat major histocompatibility complex or the amino or carboxyl termii of Cx43). We observed no gap junctions by freeze-fracture EM and no adherens junctions by thin section EM between cells treated with the Fab fragments that blocked cell-cell dye transfer. Gap junctions were found on approximately 50% of the cells in control samples using freeze-fracture EM. We demonstrated with reaggregated Novikoff cells that: (a) functional interactions of the extracellular domains of the connexins were necessary for the formation of gap junction channels; (b) cell interactions mediated by A-CAM were required for gap junction assembly; and (c) Fab fragments of antibodies for A-CAM or connexin extracellular domains blocked adherens junction formation

Negations in syllogistic reasoning: Evidence for a heuristic–analytic conflict

An experiment utilizing response time measures was conducted to test dominant processing strategies in syllogistic reasoning with the expanded quantifier set proposed by Roberts (2005). Through adding negations to existing quantifiers it is possible to change problem surface features without altering logical validity. Biases based on surface features such as atmosphere, matching, and the probability heuristics model (PHM; Chater & Oaksford, 1999; Wetherick & Gilhooly, 1995) would not be expected to show variance in response latencies, but participant responses should be highly sensitive to changes in the surface features of the quantifiers. In contrast, according to analytic accounts such as mental models theory and mental logic (e.g., Johnson-Laird & Byrne, 1991; Rips, 1994) participants should exhibit increased response times for negated premises, but not be overly impacted upon by the surface features of the conclusion. Data indicated that the dominant response strategy was based on a matching heuristic, but also provided evidence of a resource-demanding analytic procedure for dealing with double negatives. The authors propose that dual-process theories offer a stronger account of these data whereby participants employ competing heuristic and analytic strategies and fall back on a heuristic response when analytic processing fails

Effect of Exchange Interaction on Spin Dephasing in a Double Quantum Dot

We measure singlet-triplet dephasing in a two-electron double quantum dot in the presence of an exchange interaction which can be electrically tuned from much smaller to much larger than the hyperfine energy. Saturation of dephasing and damped oscillations of the spin correlator as a function of time are observed when the two interaction strengths are comparable. Both features of the data are compared with predictions from a quasistatic model of the hyperfine field.Comment: see related papers at http://marcuslab.harvard.ed

Reasoning from connectives and relations between entities

This article reports investigations of inferences that depend both on connectives between clauses, such as or else, and on relations between entities, such as in the same place as. Participants made more valid inferences from biconditionals—for instance, Ann is taller than Beth if and only if Beth is taller than Cath—than from exclusive disjunctions (Exp. 1). They made more valid transitive inferences from a biconditional when a categorical premise affirmed rather than denied one of its clauses, but they made more valid transitive inferences from an exclusive disjunction when a categorical premise denied rather than affirmed one of its clauses (Exp. 2). From exclusive disjunctions, such as Either Ann is not in the same place as Beth or else Beth is not in the same place as Cath, individuals tended to infer that all three individuals could be in different places, whereas in fact this was impossible (Exps. 3a and 3b). The theory of mental models predicts all of these results

An explanation of or-deletions and other paradoxical disjunctive inferences

Some inferences of the sort: A or B; therefore A, which are invalid in standard logics, are sensible in life: You can enter now or later; therefore, you can enter now. That these "or-deletions" follow necessarily or only possibly is a by-product of a theory of mental models. Its semantics for "or" refers to conjunctions of possibilities holding in default of knowledge to the contrary. It predicts new sorts of or-deletion, such as: He likes to drink red wine or white wine. So, he likes to drink red wine. and: You are permitted to do only one of the following: You can enter now. You can enter later. Therefore, you are permitted to enter now. They are invalid in standard logics, and neither previous pragmatic nor semantic theories predicted them. Four experiments corroborated their occurrence.Fundação para a Ciência e Tecnologia - FCTinfo:eu-repo/semantics/publishedVersio

The Interaction of morphological and stereotypical gender information in Russian

Previous research, for example in English, French, German, and Spanish, has investigated the interplay between grammatical gender information and stereotype gender information (e.g., that secretaries are usually female, in many cultures), in the interpretation of both singular noun phrases (the secretary) and plural nouns phrases, particularly so-called generic masculines—nouns that have masculine grammatical gender but that should be able to refer to both groups of men and mixed groups of men and women. Since the studies have been conducted in cultures with broadly similar stereotypes, the effects generally reflect differences in the grammatical systems of the languages. Russian has a more complex grammatical gender system than the languages previously studied, and, unlike those languages frequently presents examples in which grammatical gender is marked on the predicate (in an inflection on the verb). In this study we collected stereotype norms for 160 role names in Russian, providing a useful resource for further work in this language. We also conducted a reading time study examining the interaction of grammatical and stereotype gender information in the interpretation of both Russian singular noun phrases, and plurals that were (potentially) generic masculines. Our results show that, although both types of gender information are used, when available, the effects of grammatical marking on the predicate are not as strong as those of such marking on subject noun phrases