Search results for 'formal ontology' (try it on Scholar)

1000+ found
Order:
  1. Selja Seppälä, Barry Smith & Werner Ceusters (2014). Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology. In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press 227-240.
    Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) and Evolutionary Terminology (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  50
    Andrew D. Spear, Werner Ceusters & Barry Smith (2016). Functions in Basic Formal Ontology. Applied Ontology 11 (2):103-128.
    The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3. Robert Arp & Barry Smith (2008). Function, Role and Disposition in Basic Formal Ontology. Nature Precedings.
    Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  68
    Barry Smith (2012). On Classifying Material Entities in Basic Formal Ontology. In Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press 1-13.
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5. Achille C. Varzi (2010). On the Boundary Between Material and Formal Ontology. In Barry Smith, Riichiro Mizoguchi & Sumio Nakagawa (eds.), Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press 3–8.
    There are two main ways, philosophically, of characterizing the business of ontology. On one account, made popular by Quine, ontology is concerned with the material question of what there is. On the other, which made its way into our times through Brentano and his pupils, ontology is concerned with the task of laying bare the formal structure of all there is, whatever it is. My question, here, is whether one can pursue one sort of theory without (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  6.  30
    Kerry Trentelman & Barry Smith (2010). An Axiomatisation of Basic Formal Ontology with Projection Functions. In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. Horacio Banega (2012). Formal Ontology as an Operative Tool in the Theories of Objecs of the Life-World: Stumpf, Husserl and Ingarden. Symposium: Canadian Journal of Continental Philosophy/Revue canadienne de philosophie continentale 16 (2):64-88.
    Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8. John Corcoran (2005). Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (1):143-167.
    ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  77
    Barry Smith (2000). Logic and Formal Ontology. Manuscrito 23 (2):29-67.
    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  
     
    My bibliography  
  10.  25
    Barry Smith & Christopher Welty (eds.) (2001). Formal Ontology in Information Systems (FOIS). ACM Press.
    Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  63
    Robert Arp, Barry Smith & Andrew D. Spear (2015). Building Ontologies with Basic Formal Ontology. MIT Press.
    In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  17
    Barry Smith, Anand Kumar & Thomas Bittner (2005). Basic Formal Ontology for Bioinformatics. IFOMIS Reports.
    Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. Basic Formal Ontology (2010). Caracteristica-Actividad. See Part-Whole Relation/Steps-Activity Causal Relation Certainty In. See Certainty. In Alain Auger & Caroline Barrière (eds.), Probing Semantic Relations: Exploration and Identification in Specialized Texts. John Benjamins Pub. Co. 149.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. Barry Smith (1998). Basic Concepts of Formal Ontology. In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press 19--28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  10
    Arkadiusz Chrudzimski (2013). Gestalt, Equivalency, and Functional Dependency. Kurt Grelling’s Formal Ontology. In Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism. Springer 245--261.
    In his ontological works Kurt Grelling tries to give a rigorous analysis of the foundations of the so-called Gestalt-psychology. Gestalten are peculiar emergent qualities, ontologically dependent on their foundations, but nonetheless non reducible to them. Grelling shows that this concept, as used in psychology and ontology, is often ambiguous. He distinguishes two important meanings in which the word “Gestalt” is used: Gestalten as structural aspects available to transposition and Gestalten as causally self-regulating wholes. Gestalten in the first meaning are, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  5
    Achille C. Varzi & Laure Vieu (eds.) (2004). Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.
    Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in various fields have come to realize that a solid foundation for their projects calls for an explicit theorization of the types of entities and relations that make up their respective domains of inquiry, and as the need for integrating such projects arises, so does the need to identify common ontological principles (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  27
    Christopher Menzel (2003). Formal Ontology and Philosophical Content on the Semantic Web.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  18. Barry Smith & Kevin Mulligan (1983). Framework for Formal Ontology. Topoi 2 (1):73-85.
    The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  19.  57
    Barry Smith (ed.) (1982). Parts and Moments: Studies in Logic and Formal Ontology. 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 (2 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  20.  87
    Barry Smith (1995). Formal Ontology, Common Sense, and Cognitive Science. International Journal of Human-Computer Studies 43:641–667.
    Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  21.  57
    Roberto Poli (1993). Husserl's Conception of Formal Ontology. History and Philosophy of Logic 14 (1):1-14.
    The concept of formal ontology was first developed by Husserl. It concerns problems relating to the notions of object, substance, property, part, whole, predication, nominalization, etc. The idea of formal ontology is present in many of Husserl?s works, with minor changes. This paper provides a reconstruction of such an idea. Husserl?s proposal is faced with contemporary logical orthodoxy and it is presented also an interpretative hypothesis, namely that the original difference between the general perspective of usual (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  19
    Jonathan Simon (2005). Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases. International Journal of Medical Informatics 75:224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  23.  51
    Gregory Landini (2009). Cocchiarella's Formal Ontology and the Paradoxes of Hyperintensionality. Axiomathes 19 (2):115-142.
    This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24.  18
    Peter Simons (1994). New Categories for Formal Ontology. Grazer Philosophische Studien 49:77-99.
    What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25. J. Pustejovsky (1998). Formal Ontology and Lexical Semantics. In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press 98.
     
    Export citation  
     
    My bibliography  
  26.  23
    Natan Berber (2008). A Situational Formal Ontology of the Tracatus. Polish Journal of Philosophy 2 (2):5-20.
    This paper disucsses the Boolean algebraic axiomatic system of situations suggested by the Polish logician Roman Suszko (1919-1979). The paper will specifically examine the adequacy of the axioms, definitions and theorems of Suszko’s system as a model for Ludwig Wittgenstein’s Tracatus Logico-Philosophicus. It will be shown how the formal properties of Suszko’s system - the atomicity and completeness of the Boolean algebraic system - can be employed in order to clarify key concepts of the situational part of the Tractarian (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27. David W. Rodick (2015). Process Re-Engineering and Formal Ontology A Deweyan Perspective. Philosophy and Social Criticism 41 (6):557-576.
    John Dewey viewed philosophy as an intelligent means of realizing change, emphasizing the ubiquity of process, context and relations. The revolution in Organizational Behavior known as Process Re-engineering is an approach to organizational thinking recognizing the importance of process, context and relations at all levels of organizational activity. Because Dewey’s philosophy affords primacy to process and change, context and relations, it is fundamentally aligned with PR. Compelling connections between PR and Dewey’s philosophy are established concerning primacy of process, importance of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28. Robert Trypuz (2008). Formal Ontology of Action: A Unifying Approach. Wydawn. Kul.
     
    Export citation  
     
    My bibliography   1 citation  
  29. Roberto Poli & Peter Simons (2000). Formal Ontology. Studia Logica 64 (3):410-413.
     
    Export citation  
     
    My bibliography   2 citations  
  30.  33
    Nino Cocchiarella (2009). Reply to Gregory Landini's Review of Formal Ontology and Conceptual Realism. Axiomathes 19 (2):143-153.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  31.  23
    Nino Cocchiarella (2009). Reply to Andriy Vasylchenko's Review of Formal Ontology and Conceptual Realism. Axiomathes 19 (2):167-178.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32. Uwe Meixner (2000). Axiomatic Formal Ontology. Studia Logica 64 (1):137-140.
     
    Export citation  
     
    My bibliography  
  33.  48
    Mohamed Hedi Karray, Brigitte Chebel-Morello & Noureddine Zerhouni (2012). A Formal Ontology for Industrial Maintenance. Applied Ontology 7 (3):269-310.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. Nino Cocchiarella (1991). Formal Ontology. In Hans Burkhardt & Barry Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag 640--647.
    No categories
     
    Export citation  
     
    My bibliography   7 citations  
  35.  26
    Gilles Kassel (2010). A Formal Ontology of Artefacts. Applied Ontology 5 (3):223-246.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  36. Boris Hennig (2008). What is Formal Ontology? In Katherine Munn & Barry Smith (eds.), Applied Ontology. An Introduction. Ontos Verlag
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  37.  53
    B. Smith (1989). Logic and Formal Ontology. In Husserl’s Phenomenology: A Textbook. University Press of America
    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, 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. The present (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  34
    Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.
  39.  7
    Nino Cocchiarella (2010). Actualism Versus Possibilism in Formal Ontology. In Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives. Springer Verlag 105--117.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  40. Stefano Borgo, Matteo Cristani & Roberta Cuel (2006). Formal Ontology Meets Industry. Applied Ontology 1 (3):217-220.
    No categories
     
    Export citation  
     
    My bibliography  
  41.  19
    Steven E. Boër (2003). Thought-Contents and the Formal Ontology of Sense. Journal of Philosophical Logic 32 (1):43-114.
    This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a "thought-content") which contains a way of thinking of that truth condition; (3) for an agent a to have a belief "about" such-and-such items (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  42.  4
    Paul Livingston (2016). Formal Ontology and the Flat World: A Review of Tristan Garcia’s Form and Object. [REVIEW] Continental Philosophy Review 49 (4):545-553.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Nino Cocchiarella (1972). Properties as Individuals in Formal Ontology. Noûs 6 (2):165-187.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  44. Thomas Bittner & Barry Smith (2004). Normalizing Medical Ontologies Using Basic Formal Ontology. In Proceedings of GMDS 2004.
    Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  83
    Barry Smith (1978). An Essay in Formal Ontology. Grazer Philosophische Studien 6:39–62.
    The present paper may be conceived both as a working introduction to certain aspects of the ontological theory put forward by the Polish phenomenologist Roman Ingarden in his mammoth treatise Der Streit um die Existenz der Welt,1 and also as a development of Ingarden’s views in the light of current tendencies in analytic philosophical logic. The central theme of the paper – though one which does not become apparent until very near the end – is the ontological analysis of states (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46.  81
    Raul Corazzon, Edmund Husserl: Formal Ontology and Transcendental Logic.
    "Husserl's work include lengthy treatment of universals, categories, meanings, numbers, manifolds, etc. from an ontological perspective. Here, however, we shall concentrate almost exclusively on the Logical Investigations, which contain in a clear form the ontological ideas which provided the terminological and theoretical basis both for much of the detailed phenomenological description and for many of the metaphysical theses presented in Husserl's later works.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  47.  35
    Barry Smith & Achille C. Varzi (1997). The Formal Ontology of Boundaries. Electronic Journal of Analytic Philosophy 5 (5).
    Revised version published as Barry Smith and Achille Varzi, “Fiat and Bona Fide Boundaries”, Philosophy and Phenomenological Research, 60: 2 (March 2000), 401–420.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  78
    Steven E. Boër (1994). Propositional Attitudes and Formal Ontology. Synthese 98 (2):187 - 242.
    This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49.  27
    Ludger Jansen (2010). What is a Formal Ontology? Some Meta-Ontological Remarks. In Klaus Mainzer (ed.), ECAP10. VIII European Conference on Computing and Philosophy. Hut 256-260.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  3
    Frederik Stjernfelt (1999). Biosemiotics and Formal Ontology. Semiotica 127 (1-4):537-566.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 1000