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

1000+ found
Sort by:
  1. 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.score: 246.0
    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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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.score: 246.0
    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  
     
    My bibliography  
     
    Export citation  
  3. Horacio Banega (2012). Formal Ontology as an Operative Tool in the Theories of Objecs of the Life-World: Stumpf, Husserl and Ingarden. Symposium: The Canadian Journal of Continental Philosophy 16 (2):64-88.score: 240.0
    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)  
     
    My bibliography  
     
    Export citation  
  4. Barry Smith & Christopher Welty (eds.) (2001). Formal Ontology in Information Systems (FOIS). ACM Press.score: 240.0
    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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Barry Smith, Anand Kumar & Thomas Bittner (2005). Basic Formal Ontology for Bioinformatics. IFOMIS Reports.score: 240.0
    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  
     
    My bibliography  
     
    Export citation  
  6. 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.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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.score: 216.0
    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  
     
    My bibliography  
     
    Export citation  
  8. Achille C. Varzi & Laure Vieu (eds.) (2004). Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.score: 216.0
    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  
     
    My bibliography  
     
    Export citation  
  9. Barry Smith (1998). Basic Concepts of Formal Ontology. In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. 19--28.score: 210.0
    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)  
     
    My bibliography  
     
    Export citation  
  10. Christopher Menzel, Formal Ontology and Philosophical Content on the Semantic Web.score: 210.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Barry Smith & Kevin Mulligan (1983). Framework for Formal Ontology. Topoi 2 (1):73-85.score: 192.0
    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)  
     
    My bibliography  
     
    Export citation  
  12. Barry Smith (ed.) (1982). Parts and Moments: Studies in Logic and Formal Ontology. Philosophia Verlag.score: 186.0
    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.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Roberto Poli (1993). Husserl's Conception of Formal Ontology. History and Philosophy of Logic 14 (1):1-14.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  14. Barry Smith (1995). Formal Ontology, Common Sense, and Cognitive Science. International Journal of Human-Computer Studies 43:641–667.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  15. Gregory Landini (2009). Cocchiarella's Formal Ontology and the Paradoxes of Hyperintensionality. Axiomathes 19 (2):115-142.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  16. Peter Simons (1994). New Categories for Formal Ontology. Grazer Philosophische Studien 49:77-99.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  17. Barry Smith (2000). Logic and Formal Ontology. Manuscrito 23 (2):29-67.score: 180.0
    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 the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Jonathan Simon (2005). Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases. International Journal of Medical Informatics 75:224-231.score: 180.0
    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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. J. Pustejovsky (1998). Formal Ontology and Lexical Semantics. In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. 98.score: 180.0
    No categories
     
    My bibliography  
     
    Export citation  
  20. Natan Berber (2008). A Situational Formal Ontology of the Tracatus. Polish Journal of Philosophy 2 (2):5-20.score: 174.0
    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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Robert Trypuz (2008). Formal Ontology of Action: A Unifying Approach. Wydawn. Kul.score: 162.0
     
    My bibliography  
     
    Export citation  
  22. Thomas Bittner & Barry Smith (2004). Normalizing Medical Ontologies Using Basic Formal Ontology. In Proceedings of GMDS 2004.score: 158.0
    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)  
     
    My bibliography  
     
    Export citation  
  23. Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.score: 156.0
  24. B. Smith (1989). Logic and Formal Ontology. In Husserl’s Phenomenology: A Textbook. University Press of America.score: 156.0
    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)  
     
    My bibliography  
     
    Export citation  
  25. Steven E. Boër (2003). Thought-Contents and the Formal Ontology of Sense. Journal of Philosophical Logic 32 (1):43-114.score: 156.0
    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)  
     
    My bibliography  
     
    Export citation  
  26. 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.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Gilles Kassel (2010). A Formal Ontology of Artefacts. Applied Ontology 5 (3):223-246.score: 156.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Stefano Borgo, Matteo Cristani & Roberta Cuel (2006). Formal Ontology Meets Industry. Applied Ontology 1 (3):217-220.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Nino Cocchiarella (1991). Formal Ontology. In Hans Burkhardt & Barry Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag. 640--647.score: 156.0
    No categories
     
    My bibliography  
     
    Export citation  
  30. Boris Hennig (2008). What is Formal Ontology? In Katherine Munn & Barry Smith (eds.), Applied Ontology. An Introduction. Ontos Verlag.score: 156.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. Mohamed Hedi Karray, Brigitte Chebel-Morello & Noureddine Zerhouni (2012). A Formal Ontology for Industrial Maintenance. Applied Ontology 7 (3):269-310.score: 156.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Raul Corazzon, Edmund Husserl: Formal Ontology and Transcendental Logic.score: 152.0
    "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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Barry Smith (1978). An Essay in Formal Ontology. Grazer Philosophische Studien 6:39–62.score: 152.0
    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 <span class='Hi'>Existenz</span> 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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. Steven E. Boër (1994). Propositional Attitudes and Formal Ontology. Synthese 98 (2):187 - 242.score: 152.0
    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)  
     
    My bibliography  
     
    Export citation  
  35. John Scanlon (1975). Formal Logic and Formal Ontology. Research in Phenomenology 5 (1):95-107.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Barry Smith & Achille C. Varzi (1997). The Formal Ontology of Boundaries. Electronic Journal of Analytic Philosophy 5 (5).score: 150.0
    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  
     
    My bibliography  
     
    Export citation  
  37. John Corcoran (2005). Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (1).score: 150.0
  38. Bogusław Wolniewicz (1982). A Formal Ontology of Situations. Studia Logica 41 (4):381 - 413.score: 150.0
    A generalized Wittgensteinian semantics for propositional languages is presented, based on a lattice of elementary situations. Of these, maximal ones are possible worlds, constituting a logical space; minimal ones are logical atoms, partitioned into its dimensions. A verifier of a proposition is an elementary situation such that if real it makes true. The reference (or objective) of a proposition is a situation, which is the set of all its minimal verifiers. (Maximal ones constitute its locus.) Situations are shown to form (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Nino Cocchiarella (1972). Properties as Individuals in Formal Ontology. Noûs 6 (2):165-187.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Nino Cocchiarella (2009). Reply to Gregory Landini's Review of Formal Ontology and Conceptual Realism. Axiomathes 19 (2):143-153.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Nino Cocchiarella (2009). Reply to Andriy Vasylchenko's Review of Formal Ontology and Conceptual Realism. Axiomathes 19 (2):167-178.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Ashok K. Gangadean (1976). Formal Ontology and Movement Between Worlds. Philosophy East and West 26 (2):167-188.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Ashok Kumar Gangadean (1979). Formal Ontology and the Dialectical Transformation of Consciousness. Philosophy East and West 29 (1):21-48.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. 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.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Sébastien Richard (2011). Whitehead's Mereotopology and the Project of Formal Ontology. Logique Et Analyse 54 (216).score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. M. Randall Holmes (2010). Review of Manuel Bremer, Universality in Set Theories: A Study in Formal Ontology. [REVIEW] Notre Dame Philosophical Reviews 2010 (8).score: 150.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  47. Félix Martínez-Bonati (1983). Towards a Formal Ontology of Fictional Worlds. Philosophy and Literature 7 (2):182-195.score: 150.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Dale Jacquette (2013). Robust Reality: An Essay in Formal Ontology – by George Englebretsen. Ratio 26 (1):106-114.score: 150.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Frederik Stjernfelt (1999). Biosemiotics and Formal Ontology. Semiotica 127 (1-4):537-566.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Luc Lismont, Philippe Mongin, Strong Completeness, Volker Halbach, Hannes Leitgeb, Philip Welch, Francis Jeffry Pelletier, Alasdair Urquhart & Synonymous Logics (2003). Philip G. Calabrese/Operating on Functions with Variable Domains 1–18 Stewart Shapiro/Mechanism, Truth, and Penrose's New Argu-Ment 19–42 Steven E. Boër/Thought-Contents and the Formal Ontology Of. [REVIEW] Journal of Philosophical Logic 32:667-668.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000