Author

Barry Smith

301 papers · 1860–2026

1967peak 18 in 20032026

Frequent co-authors

Papers

showing 1–25 of 301 RSS

Efficient Management of Parallelism in Object-Oriented Numerical Software Libraries

Satish Balay, William Gropp, Lois Curfman McInnes +1 more

Hardware and Architecture · Birkhäuser Boston eBooks · 1997 · cited 2,023× · DOI ↗ · more like this ·

Parallel numerical software based on the message passing model is enormously complicated. This paper introduces a set of techniques to manage the complexity, while maintaining high efficiency and ease of use. The PETSc 2.0 package uses object-oriented programming to conceal the details of the message passing, without concealing the parallelism, in a high-quality set of numerical software libraries. In fact, the programming model used by PETSc is also the most appropriate for NUMA shared-memory machines, since they require the same careful attention to memory hierarchies as do distributed-memory machines. Thus, the concepts discussed are appropriate for all scalable computing systems. The PETSc libraries provide many of the data structures and numerical kernels required for the scalable solution of PDEs, offering performance portability.

Retrieval of Crystallographically-Derived Molecular Geometry Information

Ian Bruno, Jason C. Cole, M. Kessler +8 more

Computational Theory and Mathematics · Journal of Chemical Information and Computer Sciences · 13 Oct 2004 · cited 975× · DOI ↗ · more like this ·

The crystallographically determined bond length, valence angle, and torsion angle information in the Cambridge Structural Database (CSD) has many uses. However, accessing it by means of conventional substructure searching requires nontrivial user intervention. In consequence, these valuable data have been underutilized and have not been directly accessible to client applications. The situation has been remedied by development of a new program (Mogul) for automated retrieval of molecular geometry data from the CSD. The program uses a system of keys to encode the chemical environments of fragments (bonds, valence angles, and acyclic torsions) from CSD structures. Fragments with identical keys are deemed to be chemically identical and are grouped together, and the distribution of the appropriate geometrical parameter (bond length, valence angle, or torsion angle) is computed and stored.…

CIF applications. XV.<i>enCIFer</i>: a program for viewing, editing and visualizing CIFs

Frank H. Allen, Owen Johnson, G.P. Shields +2 more

Computational Theory and Mathematics · Journal of Applied Crystallography · 12 Mar 2004 · cited 835× · DOI ↗ · more like this ·

The enCIFer program permits the location, reporting and correction of syntax and format violations in single- or multi-block crystallographic information files (CIFs). The program also permits the editing of existing individual or looped data items and the addition of new data in these categories, and provides data-entry wizards for the addition of two types of standard information for small-molecule structural studies, namely publication data and chemical and physical property information. Facilities for the graphical visualization and manipulation of structure(s) in a CIF are also provided.

SNAP and SPAN: Towards Dynamic Spatial Ontology

Pierre Grenon, Barry Smith

Artificial Intelligence · Spatial Cognition and Computation · March 2004 · cited 609× · DOI ↗ · more like this ·

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections between them.

Fiat and Bona Fide Boundaries

Barry Smith, Achille C. Varzi

Artificial Intelligence · Philosophy and Phenomenological Research · March 2000 · cited 358× · DOI ↗ · more like this ·

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 yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that…

Biodynamic Ontology: Applying BFO in the Biomedical Domain

Pierre Grenon, Barry Smith, Louis J. Goldberg

Artificial Intelligence · Studies in health technology and informatics · 2004 · cited 343× · DOI ↗ · more like this ·

We propose a modular formal ontology of the biomedical domain with two components, one for biological objects, corresponding broadly to anatomy, and one for biological processes, corresponding broadly to physiology. The result constitutes what might be described as a joint venture between two perspectives--of so-called three-dimensionalism and four-dimensionalism--which are normally regarded as incompatible. We outline an approach which allows them to be combined together, and provide examples of its application in biomedicine.

Geographical categories: an ontological investigation

Barry Smith, David Mark

Geography, Planning and Development · International Journal of Geographical Information Systems · October 2001 · cited 278× · DOI ↗ · more like this ·

This paper reports the results of a series of experiments designed to establish how non-expert subjects conceptualize geospatial phenomena. Subjects were asked to give examples of geographical categories in response to a series of differently phrased elicitations. The results yield an ontology of geographical categories---a catalogue of the prime geospatial concepts and categories shared in common by human subjects independently of their exposure to scientific geography. When combined with nouns such as feature and object, the adjective geographic elicited almost exclusively elements of the physical environment of geographical scale or size, such as mountain, lake, and river. The phrase things that could be portrayed on a map, on the other hand, produced many geographical scale artefacts (roads, cities, etc.) and flat objects (states, countries, etc.), as well as some physical feature…

Do Mountains Exist? Towards an Ontology of Landforms

Barry Smith, David Mark

Geography, Planning and Development · Environment and Planning B Planning and Design · June 2003 · cited 248× · DOI ↗ · more like this ·

The authors begin the paper with the question ‘Do mountains exist?’ They show that providing an answer to this question is surprisingly difficult and that the answer that one gives depends on the context in which the question is posed. Mountains clearly exist as real correlates of everyday human thought and action, and they form the archetype for geographic objects. Yet individual mountains lack many of the properties that characterize bona fide objects, and ‘mountains’ as a category also lacks many of the properties that characterize natural kinds. In the context of scientific modeling of the environment, especially of such phenomena as surface hydrology and fluvial erosion and deposition, mountains are not picked out as constituents of reality in their own right at all; rather, they are just parts of the field of elevations whose gradients shape the direction of runoff and influence…

Beyond Concepts: Ontology as Reality Representation

Barry Smith

Artificial Intelligence · PhilPapers (PhilPapers Foundation) · 2004 · cited 233× · OpenAlex ↗ · more like this ·

There is an assumption commonly embraced by ontological engineers, an assumption which has its roots in the discipline of knowledge representation, to the effect that it is concepts which form the subject-matter of ontology. The term `concept &apos; is hereby rarely precisely defined, and the intended role of concepts within ontology is itself subject to a variety of conflicting (and sometimes intrinsically incoherent) interpretations. It seems, however, to be widely accepted that concepts are in some sense the products of human cognition.

Ontology and Geographic Kinds

Barry Smith, David Mark

Geography, Planning and Development · CogPrints (University of Southampton) · 1998 · cited 204× · OpenAlex ↗ · more like this ·

An ontology of geographic kinds is designed to yield a better understanding of the ~tructure. of the geographic world, and to support the development of geographic mformat10n systems that are conceptually sound. This paper first demonstrates th~t geograp~cal obje~ts and kinds are not just larger versions of the everyday objects and kinds prev10usly studied in cognitive science. Geographic objects are not merely located in space, as are the manipulable objects of table-top space. Rather,.they ar ~ tied intrinsically to space, and this means.that their spatial boundanes are m many cases the most salient features for categorization. The ontology presented here will accordingly be based on topology (the theory of boundary, contact and separation) and on mereology (the theory of extended wh?les and part~). Geographic reality comprehendsmesoscopic entities, many of which are best viewed as…

Composing Scalable Nonlinear Algebraic Solvers

Peter R. Brune, Matthew G. Knepley, Barry F. Smith +1 more

math.NA · 14 Jul 2016 · cited 159× · arXiv ↗ · more like this ·

Most efficient linear solvers use composable algorithmic components, with the most common model being the combination of a Krylov accelerator and one or more preconditioners. A similar set of concepts may be used for nonlinear algebraic systems, where nonlinear composition of different nonlinear solvers may significantly improve the time to solution. We describe the basic concepts of nonlinear composition and preconditioning and present a number of solvers applicable to nonlinear partial differential equations. We have developed a software framework in order to easily explore the possible combinations of solvers. We show that the performance gains from using composed solvers can be substantial compared with gains from standard Newton-Krylov methods.

Ontology: Towards a new synthesis

Barry Smith, Chris Welty

Artificial Intelligence · PhilPapers (PhilPapers Foundation) · 2001 · cited 159× · OpenAlex ↗ · more like this ·

This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientists.

PETSc/TS: A Modern Scalable ODE/DAE Solver Library

Shrirang Abhyankar, Jed Brown, Emil M. Constantinescu +3 more

math.NA · 4 Jun 2018 · cited 151× · arXiv ↗ · more like this ·

High-quality ordinary differential equation (ODE) solver libraries have a long history, going back to the 1970s. Over the past several years we have implemented, on top of the PETSc linear and nonlinear solver package, a new general-purpose, extensive, extensible library for solving ODEs and differential algebraic equations (DAEs). Package includes support for both forward and adjoint sensitivities that can be easily utilized by the TAO optimization package, which is also part of PETSc. The ODE/DAE integrator library strives to be highly scalable but also to deliver high efficiency for modest-sized problems. The library includes explicit solvers, implicit solvers, and a collection of implicit-explicit solvers, all with a common user interface and runtime selection of solver types, adaptive error control, and monitoring of solution progress. The library also offers enormous flexibility…

A Theory of Granular Partitions

Thomas Bittner, Barry Smith

Artificial Intelligence · PhilPapers (PhilPapers Foundation) · 30 Jan 2003 · cited 145× · DOI ↗ · more like this ·

Imagine that you are standing on a bridge above a highway checking off the makes and models of the cars that are passing underneath. Or that you are a postal clerk dividing envelopes into bundles; or a laboratory technician sorting samples of bacteria into species and subspecies. Or imagine that you are making a list of the fossils in your museum, or of

The Cornucopia of Formal-Ontological Relations

Barry Smith

Artificial Intelligence · dialectica · 2004 · cited 130× · DOI ↗ · more like this ·

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach's classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

FOIS introduction

Barry Smith, Christopher Welty

Artificial Intelligence · 17 Oct 2001 · cited 115× · DOI ↗ · more like this ·

This introduction to the Second International Conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term 'ontology' is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientistsPhilosophical ontology is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. Philosophical ontology takes many forms, from the metaphysics of Aristotle to the object-theory of Alexius Meinong. The term 'ontology' (or ontologia) was itself coined in 1613, independently, by two…

Parts and Moments: Studies in Logic and Formal Ontology.

George Berger, Barry Smith

Artificial Intelligence · Noûs · March 1985 · cited 108× · DOI ↗ · more like this ·

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Ontology-based error detection in SNOMED-CT.

Werner Ceusters, Barry Smith, Anand Kumar +1 more

Artificial Intelligence · PubMed · 2004 · cited 97× · OpenAlex ↗ · more like this ·

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential areas of improvement. We demonstrate the methodology by applying the algorithms to one of the most popular terminologies, SNOMED-CT. Analysis of the results provides evidence for the thesis that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

A unified theory of granularity, vagueness and approximation

Thomas Bittner, Barry Smith

Computational Theory and Mathematics · PhilPapers (PhilPapers Foundation) · 2001 · cited 97× · OpenAlex ↗ · more like this ·

: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality…

petsc: Portable, Extensible Toolkit for Scientific Computation

Barry Smith, Satish Balay, Matthew G. Knepley +9 more

Computer Networks and Communications · Zenodo (CERN European Organization for Nuclear Research) · 7 Apr 2016 · cited 94× · DOI ↗ · more like this ·

Version of Firedrake used in 'An algorithm for the optimization of finite element integration' This release is specifically created to document the version of Firedrake used in a particular set of experiments. Please do not cite this as a general source for Firedrake or any of its dependencies. Instead, refer to http://www.firedrakeproject.org/publications.html

Ontological Tools for Geographic Representation

Roberto Casati, Barry Smith, Achille C. Varzi

Computer Networks and Communications · HAL (Le Centre pour la Communication Scientifique Directe) · 1998 · cited 92× · OpenAlex ↗ · more like this ·

Abstract. This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider the idea of nonstandard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. 1.

A spatio-temporal ontology for geographic information integration

Thomas Bittner, Maureen P. Donnelly, Barry Smith

Artificial Intelligence · International Journal of Geographical Information Systems · June 2009 · cited 86× · DOI ↗ · more like this ·

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 geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online.

Strengths and limitations of formal ontologies in the biomedical domain

Stefan Schulz, Holger Stenzhorn, Martin Boeker +1 more

Artificial Intelligence · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 31 Mar 2009 · cited 85× · DOI ↗ · more like this ·

We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology of different kinds of logical resources, with a focus on description logics. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of representation in order to provide a more rational basis for using of ontologies and related artifacts to advance integration of data and interoperability of associated reasoning systems. We highlight the fact that only a minor portion of scientifically relevant facts in a domain such as biomedicine can…

Naive physics

Barry Smith, Roberto Casati

Artificial Intelligence · Philosophical Psychology · 1994 · cited 71× · DOI ↗ · more like this ·

Abstract The project of a ‘naive physics’ has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common‐sense reasoning, perceptual representation and robotics. The idea of a theory of the common‐sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as Köhler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from a knowledge of these historical roots of their discipline, which are shown to imply above alla critique of the set‐theory‐based models of reality typically presupposed by contemporary work in common‐sense ontology [1].

Composable Linear Solvers for Multiphysics

Jed Brown, Matthew G. Knepley, Dave A. May +2 more

Computational Theory and Mathematics · June 2012 · cited 69× · DOI ↗ · more like this ·

The Portable, Extensible Toolkit for Scientific computing (PETSc), which focuses on the scalable solution of problems based on partial differential equations, now incorporates new components that allow full compos ability of solvers for multiphysics and multilevel methods. Through strong encapsulation, we achieve arbitrary, dynamic composition of hierarchical methods for coupled problems and allow customization of all components in composite solvers. For example, we support block decompositions with nested multigrid as well as multigrid on the fully coupled system with block-decomposed smoothers. This paper provides an overview of PETSc's new multiphysics capabilities, which have been used in parallel applications including lithosphere dynamics, subduction and mantle convection, ice sheet dynamics, subsurface reactive flow, fusion, mesoscale materials modeling, and power networks.