Results for 'Formal Ontology'

999 found
Order:
  1. Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press. pp. 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  
     
    Bookmark  
  2. Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: 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  
     
    Bookmark   26 citations  
  3. A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology.Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte - 2019 - In Proceedings of the Joint Ontology Workshops (JOWO), Graz.
    Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper (...) descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Functions in Basic Formal Ontology.Andrew D. Spear, Werner Ceusters & Barry Smith - 2016 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5. On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 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  
     
    Bookmark   4 citations  
  6. Function, Role and Disposition in Basic Formal Ontology.Robert Arp & Barry Smith - 2008 - Proceedings of Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB), Toronto.
    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  
     
    Bookmark   17 citations  
  7. On the Boundary Between Material and Formal Ontology.Achille C. Varzi - 2010 - In Barry Smith, Riichiro Mizoguchi & Sumio Nakagawa (eds.), Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  8. An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand.John Corcoran - 2005 - 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  
     
    Bookmark  
  10. Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World.Horacio Banega - 2012 - Symposium 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  
     
    Bookmark  
  11. Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12. 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  
  13.  45
    Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.
    There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  36
    Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Philosophical Problems in Science 61:23-52.
    There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  55
    Formal Ontology in Information Systems (FOIS).Barry Smith & Christopher Welty (eds.) - 2001 - 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  16.  83
    Formal Ontology for Biomedical Knowledge Systems Integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
    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 will greatly benefit software application ontologies. To this end LinKBase®, 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, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  3
    Caracteristica-Actividad. See Part-Whole Relation/Steps-Activity Causal Relation Certainty In. See Certainty.Basic Formal Ontology - 2010 - In Alain Auger & Caroline Barrière (eds.), Probing Semantic Relations: Exploration and Identification in Specialized Texts. John Benjamins. pp. 149.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Basic Formal Ontology for Bioinformatics.Barry Smith, Anand Kumar & Thomas Bittner - 2005 - 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  
     
    Bookmark  
  19. A Formal Ontology of Artefacts.Gilles Kassel - 2010 - Applied Ontology 5 (3):223-246.
    This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Basic Concepts of Formal Ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 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  
     
    Bookmark   5 citations  
  21.  32
    Gestalt, Equivalency, and Functional Dependency. Kurt Grelling’s Formal Ontology.Arkadiusz Chrudzimski - 2013 - In Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism. Springer. pp. 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  
     
    Bookmark  
  22.  17
    Formal Ontology in Information Systems. Proceedings of the Third International Conference.Achille C. Varzi & Laure Vieu (eds.) - 2004 - 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  
     
    Bookmark  
  23. On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Berlin: Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques (...)
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  24. Formal Ontology and Philosophical Content on the Semantic Web.Christopher Menzel - manuscript
     
    Export citation  
     
    Bookmark  
  25. 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   89 citations  
  26. Interoperability of Disparate Engineering Domain Ontologies Using Basic Formal Ontology.Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty & Ian R. Grosse - 2019 - Journal of Engineering Design 31.
    As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. An Essay in Formal Ontology.Barry Smith - 1978 - Grazer Philosophische Studien 6 (1):39-62.
    As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  28. Framework for Formal Ontology.Barry Smith & Kevin Mulligan - 1983 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  29. Formal Ontology, Common Sense, and Cognitive Science.Barry Smith - 1995 - International Journal of Human-Computer Studies 43 (5-6):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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  30.  93
    Husserl's Conception of Formal Ontology.Roberto Poli - 1993 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  70
    Cocchiarella’s Formal Ontology and the Paradoxes of Hyperintensionality.Gregory Landini - 2009 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  30
    Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World: Stumpf, Husserl and Ingarden.Horacio Banega - 2012 - Symposium 16 (2):64-88.
    It is accepted that certain mereological concepts and phenomenological conceptualisations presented in Carl Stumpf’s Über den psychologischen Ursprung der Raumvorstellung and Tonpsychologie played an important role in the development of the Husserlian formal ontology. In the third Logical Investigation, which displays the formal relations between part and whole and among parts that make out a whole, one of the main concepts of contemporary formal ontology and metaphysics is settled: ontological dependence or foundation. My main objective (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  18
    New Categories for Formal Ontology.Peter Simons - 1994 - Grazer Philosophische Studien 49 (1):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 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 through the fairly obvious and the surprisingly familiar to the controversial and the arcane. Any (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  35
    New Categories for Formal Ontology.Peter Simons - 1994 - Grazer Philosophische Studien 49 (1):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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  23
    Parts and Moments: Studies in Logic and Formal Ontology[REVIEW]Robert Sokolowski - 1984 - Review of Metaphysics 38 (1):140-142.
    This book explores a dimension in Husserl's thought that is, unfortunately, usually neglected, the analysis of formal structures in thinking. It examines such topics as formal ontology, formal logic, logic and mathematics, set theory, and, most of all, the theme of parts and wholes. Moreover the book does not just comment on Husserl's treatment of these topics; it pursues them as philosophical issues, shows how Husserl's position can be compared with that of other thinkers, and traces (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Why is It No Longer Possible to Build a Formal Ontology as a Mereotopology?Martina Properzi - 2019 - In The Philosophy of Aristotle. Atene, Grecia:
    This brief paper aims to underline which are the philosophical limits of mereotopology, when one takes it as a basic unitary theoretical framework for formal ontology. Mereotopology is a first-order theory of the relations among wholes, parts and the boundaries between parts, that combines mereological and topological concepts. Nowadays, with the expression “formal ontology” one intends either the computational (engineering) version, or the philosophical (categorial) one. It is important, then, to avoid terminological confusions. The main philosophical (...)
     
    Export citation  
     
    Bookmark  
  37. Formal Ontology and Lexical Semantics.J. Pustejovsky - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 98.
  38. From Phenomenology to Formal Ontology: How Barry Smith and Kevin Mulligan Made Husserl’s Descriptive Psychology Into a Form of Realism.Marco Tedeschini - 2015 - Archivio Di Filosofia 83 (3):177-188.
    In this paper I will discuss Barry Smith’s and Kevin Mulligan’s revision of Husserl’s phenomenology, starting from the fact that many Italian scholars seem to follow them in a sense, by dealing with phenomenology as a sort of a priori ontology. Therefore, I will first reconstruct Smith’s and Mulligan’s attempt and its objectives, then I will show how it is rooted in the school of Brentano and, in particular, in Husserl’s phenomenology. Finally, I will provide some arguments against this (...)
     
    Export citation  
     
    Bookmark  
  39.  14
    Topics on General and Formal Ontology.Paolo Valore (ed.) - 2006 - Polimetrica International Scientific Publisher.
    General and Formal Ontology Paolo Valore The word ontology derives from tÕ Ôn ( tò òn), which is the neutral participle of e„m. ...
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  18
    Process Re-Engineering and Formal Ontology.David W. Rodick - 2015 - 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  
     
    Bookmark  
  41.  32
    A Situational Formal Ontology of the Tracatus.Natan Berber - 2008 - 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  
     
    Bookmark  
  42. Facts, Formal Objects and Ontology.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.
    What is a fact ? Are there such things ?
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Normalizing Medical Ontologies Using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
    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  
     
    Bookmark   2 citations  
  44. Formal Ontology of Action: A Unifying Approach.Robert Trypuz - 2008 - Wydawn. Kul.
     
    Export citation  
     
    Bookmark   2 citations  
  45. Formal Ontology.Roberto Poli & Peter Simons - 2000 - Studia Logica 64 (3):410-413.
     
    Export citation  
     
    Bookmark   3 citations  
  46. Axiomatic Formal Ontology.Uwe Meixner - 1997 - Studia Logica 64 (1):137-140.
     
    Export citation  
     
    Bookmark   5 citations  
  47.  8
    Sigma: An Integrated Development Environment for Formal Ontology.Adam Pease & Christoph Benzmüller - 2013 - AI Communications 26 (1):79-97.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  45
    Reply to Gregory Landini’s Review of Formal Ontology and Conceptual Realism.Nino B. Cocchiarella - 2009 - Axiomathes 19 (2):143-153.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  37
    La limitation de l’ontologie par la logiqueThe limitation of formal ontology by formal logic.John J. Drummond - 2009 - Methodos 9.
    Cet article maintient que l’intérêt de Husserl pour le développement d’une logique pure en tant que théorie de la science limite sa conception de l’ontologie. L’ontologie formelle est, pour Husserl, une théorie formelle des objets de connaissance, dont les catégories fondamentales sont celles de substance, propriété et relation. En outre, les ontologies régionales évoluent au sein des limites catégorielles définies par l’ontologie formelle. Mais une telle ontologie laisse de côté les activités et les processus de tout genre, parmi lesquels le (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  31
    Reply to Andriy Vasylchenko’s Review of Formal Ontology and Conceptual Realism.Nino B. Cocchiarella - 2009 - Axiomathes 19 (2):167-178.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999