Switch to: Citations

Add references

You must login to add references.
  1. Tracking Referents in Electronic Health Records.Werner Ceusters & Barry Smith - 2005 - Studies in Health Technology and Informatics 116:71–76.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.
    This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Role of Foundational Relations in the Alignment of Biomedical Ontologies.Barry Smith & Cornelius Rosse - 2004 - In Stefan Schulze-Kremer (ed.), MedInfo. IOS Press. pp. 444-448.
    The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • (1 other version)A strategy for improving and integrating biomedical ontologies.Cornelius Rosse, Anand Kumar, Jose L. V. Mejino, Daniel L. Cook, Landon T. Detwiler & Barry Smith - 2007 - In Ron Rudnicki (ed.), Proceedings of the Annual Symposium of the American Medical Informatics Association. AMIA. pp. 639-643.
    The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Relations in Biomedical Ontologies.Barry Smith, Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kuma, Jane Lomax, Chris Mungall, , Fabian Neuhaus, Alan Rector & Cornelius Rosse - 2005 - Genome Biology 6 (5):R46.
    To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • (2 other versions)Individuals, universals, collections: On the foundational relations of ontology.Thomas Bittner, Maureen Donnelly & Barry Smith - 2004 - In Achille C. Varzi & Laure Vieu (eds.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press. pp. 37–48.
    This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Parts and Places: The Structures of Spatial Representation.Roberto Casati & Achille C. Varzi - 1999 - MIT Press.
    Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...)
    Download  
     
    Export citation  
     
    Bookmark   206 citations  
  • (2 other versions)Sorites paradox.Dominic Hyde - 2008 - Stanford Encyclopedia of Philosophy.
    The sorites paradox is the name given to a class of paradoxical arguments, also known as little by little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
    An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.
    Download  
     
    Export citation  
     
    Bookmark   216 citations  
  • Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.
    This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.
    Download  
     
    Export citation  
     
    Bookmark   668 citations  
  • Summation relations and portions of stuff.Maureen Donnelly & Thomas Bittner - 2009 - Philosophical Studies 143 (2):167 - 185.
    According to the prevalent 'sum view' of stuffs, each portion of stuff is a mereological sum of its subportions. The purpose of this paper is to re-examine the sum view in the light of a modal temporal mereology which distinguishes between different varieties of summation relations. While admitting David Barnett's recent counter-example to the sum view, we show that there is nonetheless an important sense in which all portions of stuff are sums of their subportions. We use our summation relations (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The ontology of the Gene Ontology.Barry Smith, Jennifer Williams & Steffen Schulze-Kremer - 2003 - In Smith Barry, Williams Jennifer & Schulze-Kremer Steffen (eds.), AMIA 2003 Symposium Proceedings. AMIA. pp. 609-613.
    The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.
    This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.
    Download  
     
    Export citation  
     
    Bookmark   142 citations  
  • Parts: A Study in Ontology.Peter M. Simons - 1987 - Oxford, England: Clarendon Press.
    The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...)
    Download  
     
    Export citation  
     
    Bookmark   295 citations  
  • A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
    This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...)
    Download  
     
    Export citation  
     
    Bookmark   244 citations  
  • On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.
    This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.
    Download  
     
    Export citation  
     
    Bookmark   2253 citations  
  • Parts Study in Ontology: A Study in Ontology.Peter M. Simons - 1987 - Oxford, GB: Oxford University Press UK.
    The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical concepts (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Referent Tracking: The Problem of Negative Findings.Werner Ceusters, Peter Elkin & Barry Smith - 2006 - Studies in Health Technology and Informatics 124:741-46.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
    We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.
    There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...)
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration.Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel & Suzanna Lewis - 2007 - Nature Biotechnology 25 (11):1251-1255.
    The value of any kind of data is greatly enhanced when it exists in a form that allows it to be integrated with other data. One approach to integration is through the annotation of multiple bodies of data using common controlled vocabularies or ‘ontologies’. Unfortunately, the very success of this approach has led to a proliferation of ontologies which itself creates obstacles to integration. The Open Biomedical Ontologies (OBO) consortium has set in train a strategy to overcome this problem. Existing (...)
    Download  
     
    Export citation  
     
    Bookmark   144 citations  
  • (2 other versions)Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
    Download  
     
    Export citation  
     
    Bookmark   587 citations  
  • The sorites fallacy and the context-dependence of vague predicates.Kees Van Deemter - 1996 - In Makoto Kanazawa, Christopher Pinon & Henriette de Swart (eds.), Quantifiers, Deduction, and Context. CSLI Publications.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the Plurality of Worlds.Allen Stairs - 1988 - Philosophy and Phenomenological Research 49 (2):333-352.
    Download  
     
    Export citation  
     
    Bookmark   544 citations  
  • Isabelle/Hol a Proof Assistant for Higher-Order Logic.Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel - 2002 - Berlin and New York: Springer.
    This volume is a self-contained introduction to interactive proof in high- order logic, using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel’s proof script notation instead of ML tactic scripts. The (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Granularity as a parameter of context.Hedda R. Schmidtke - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 450--463.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Events, Topology and Temporal Relations.Fabio Pianesi & Achille C. Varzi - 1996 - The Monist 79 (1):89--116.
    We are used to regarding actions and other events, such as Brutus’ stabbing of Caesar or the sinking of the Titanic, as occupying intervals of some underlying linearly ordered temporal dimension. This attitude is so natural and compelling that one is tempted to disregard the obvious difference between time periods and actual happenings in favor of the former: events become mere “intervals cum description”.1 On the other hand, in ordinary circumstances the point of talking about time is to talk about (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (2 other versions)Parts. A Study in Ontology.Peter Simons - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):131-132.
    Download  
     
    Export citation  
     
    Bookmark   204 citations  
  • (1 other version)Michael Tooley, Time, Tense and Causation. [REVIEW]André Fuhrmann - 1999 - Erkenntnis 50 (1):133-136.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Combining topological and size information for spatial reasoning.Alfonso Gerevini & Jochen Renz - 2002 - Artificial Intelligence 137 (1-2):1-42.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A formal theory for reasoning about parthood, connection, and location.Maureen Donnelly - 2004 - Artificial Intelligence 160 (1-2):145-172.
    In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities that may coincide without overlapping. Some examples are: cavities and invading particles, passageways and valves, geographic regions and tropical storms. The purpose of this paper is to develop a formal theory of spatial relations for domains that include coincident entities. The core of the theory is a clear distinction between mereotopological relations, such as parthood and connection, and relative location relations, such as coincidence. To guide the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (2 other versions)Parts: A Study in Ontology.Peter Simons - 1988 - Mind 97 (388):638-640.
    Download  
     
    Export citation  
     
    Bookmark   225 citations  
  • Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Vagueness: A Reader.R. Keefe & P. Smith - 2001 - Studia Logica 67 (1):120-122.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Order of magnitude reasoning.Olivier Raiman - 1991 - Artificial Intelligence 51 (1-3):11-38.
    Download  
     
    Export citation  
     
    Bookmark   23 citations