Switch to: Citations

References in:

Basic concepts of formal ontology

In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28 (1998)

Add references

You must login to add references.
  1. On substances, accidents and universals: In defence of a constituent ontology.Barry Smith - 1997 - Philosophical Papers 26 (1):105-127.
    The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  • On drawing lines on a map.Barry Smith - 1995 - In Frank A. U., Kuhn W. & Mark D. M. (eds.), Spatial Information Theory: Proceedings of COSIT '95. Springer. pp. 475-484.
    The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  • The Second Naive Physics Manifesto.P. J. Hayes - 1985 - In Jerry R. Hobbs & Robert C. Moore (eds.), Formal Theories of the Commonsense World. Greenwood.
    No categories
     
    Export citation  
     
    Bookmark   50 citations  
  • Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   113 citations  
  • Continua without sets.F. G. Asenjo - 1993 - Logic and Logical Philosophy 1:95-128.
    Initially, we perceive an indefinite extension imprecisely, a spread C ; this perception can be visual, aural, or tactile.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 29–38.
    Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Boundaries: An essay in mereotopology.Barry Smith - 1997 - In Lewis H. Hahn (ed.), Philosophy of Roderick Chisholm (Library of Living Philosophers). Open Court. pp. 534--561.
    Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  • Logic and formal ontology.B. Smith - 1989 - In J. N. Mohanty & W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham: University Press of America. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  • Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
    The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  • Part-whole.Kit Fine - 1995 - In Barry Smith & David Woodruff Smith (eds.), The Cambridge Companion to Husserl. Cambridge University Press. pp. 463.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Fiat and Bona Fide Boundaries: Towards an Ontology of Spatially Extended Objects.Barry Smith & Achille C. Varzi - 1997 - In Stephen Hirtle & Andrew U. Frank (eds.), Spatial Information Theory: International Conference COSIT ‘97. Springer. pp. 103–119.
    Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logic and formal ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Mereology as a theory of part-whole.Alexander Bochman - 1990 - Logique Et Analyse 129 (30):75-101.
     
    Export citation  
     
    Bookmark   7 citations