BFO/MedO: Basic Formal Ontology and Medical Ontology Draft 0.0004 (17.6.02)

Slides:



Advertisements
Similar presentations
Towards a Naive Geography Pat Hayes & Geoff Laforte IHMC University of West Florida.
Advertisements


The Ontology of the Radiographic Image: From RadLex to RadiO.
CHEMISTRY MATTER ELEMENT ATOM COMPOUND MOLECULE 1.A _____ is a substance made of atoms of more than one element bound together. 2.An _____ is the smallest.
New York State Center of Excellence in Bioinformatics & Life Sciences R T U New York State Center of Excellence in Bioinformatics & Life Sciences R T U.
Substance dualism: do Descartes’ arguments work? Michael Lacewing
UML – Class Diagrams.
1 SNAP and SPAN Barry Smith. 2 Two categories of entities Substances and processes Continuants and occurrents In preparing an inventory of reality we.
1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
New York State Center of Excellence in Bioinformatics & Life Sciences R T U Discovery Seminar /UE 141 CC – Fall 2007 Difficult Problems, Easy Solutions:
1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science.
1 SNAP and SPAN and the Ontology of Goods and Services Barry Smith Department of Philosophy University at Buffalo and Institute for Formal Ontology and.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
VT. From Basic Formal Ontology to Medicine Barry Smith and Anand Kumar.
Persistence of Simple Substances University of Durham, November 19, 2009 Dr Jani Hakkarainen (University of Tampere) Dr Markku Keinänen (University of.
1 VT. 2 The Ontology of Commodities and Services, or: Why You Can Rent a Car but Cannot Rent a Person): Barry Smith
1 VT 2 Ontology and Ontologies Barry Smith 3 IFOMIS Strategy get real ontology right first and then investigate ways in which this real ontology can.
GOL A General Ontological Language Barry Smith Heinrich Herre Barbara Heller.
1 A Network of Domain Ontologies Material (Regional) Ontologies Basic Formal Ontology.
2-Deixis and distance.
1 Basic Formal Ontology Barry Smith March 2004
1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and Institute for Formal Ontology and Medical Information Science (ifomis.de) University.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
The Logic of Biological Classification Barry Smith March 2004.
Constituent ontologies and granular partitions Thomas Bittner and Barry Smith IFOMIS – Leipzig and Department of Philosophy, SUNY Buffalo.
Immanent Realism, Orderings and Quantities Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
Body Systems.
UML Class Diagrams: Basic Concepts. Objects –The purpose of class modeling is to describe objects. –An object is a concept, abstraction or thing that.
Classification Organizing the Diversity of Life. Why do we classify things? – Supermarket aisles – Libraries – Classes – Teams/sports – Members of a family.
Major Issues/Themes in Psychology Questions about the nature of psychology –What is a science? –Is Psychology a science? –What is Psychology? Study of.
Levels of Organization. California Content Standard Standard 1: All living organism are composed of from just one to many trillions, whose details usually.
Upper-Level Ontology Considerations for the Geospatial Ontology Community of Practice Eric Little, PhD D’Youville College Center for Ontology & Interdisciplinary.
1 ©Amit Mitra & Amar Gupta AGGREGATION Reading Assignment Supplementary module 5 Object Aggregation.
DEPICTION OF GEOLOGICAL PROCESSES WITH ONTOLOGY
Lamp design inspired by architecture. Some examples…hanging from the ceiling.
This will serve as a review of the parts of the cell. This also has the notes for the sections in chapter 3 discussed in class on diffusion and osmosis.
Abstract We have designed ontologies related to an investigation of changes in gouge porosity in small-displacement faults via 2D computer simulations.
Understanding The Basis For Biotechnology Research.
1 An Introductory Course in Ontology and the Forms of Social Organization.
Housing.  These principles are a guideline to follow when working with the elements of design.  Together they can be used to create a pleasing design.
JOHN BEVERLEY Thermodynamic Equilibrium Ontology (TEO)
Thomas Aquinas “On Being and Essence”. Saint Thomas Aquinas born ca. 1225; died 7 March 1274 Dominican.
1 BFO and GOL Ontological theory vs. ontology language GOL as an ontology representation language analogous to KIF (thus maximally eclectic) BFO as an.
VT. Institute for Formal Ontology and Medical Information Science.
Basic Formal Ontology Barry Smith August 26, 2013.
UML Fundamental Elements. Structural Elements Represent abstractions in our system. Elements that encapsulate the system's set of behaviors. Structural.
Draft School Education Ontology (SEO) Fumiaki Toyoshima.
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
Ontology I Cristian Cocos (CLIStFX). Background: What? What is “Ontology”? What is an Ontology? Traditional answer: Theory of Everything Several other.
1 LinkSuite™: formally robust ontology-based data and information integration Werner Ceusters a, Barry Smith b, James Matthew Fielding b a.
Welcome to our Maths Workshop
DEIXIS Deixis belongs within the domain of pragmatics because it directly concerns the relationship between the structure of languages and the contexts.
Elements and Compounds Atomic Theory
Atoms, subatomic particles, and isotopes
Lecture 10 Persistence: endurance and perdurance
CHEMISTRY MATTER ELEMENT ATOM COMPOUND MOLECULE
The Process of Object Modeling
國立清華大學哲學研究所 專任助理教授 陳斐婷
Prokaryotic Cells Sarah Verghese Revision for End of Chapter test.
Materials & Methods Introduction Abstract Results Conclusion
DEIXIS Deixis belongs within the domain of pragmatics because it directly concerns the relationship between the structure of languages and the contexts.
Decoding Neuronal Ensembles in the Human Hippocampus
Understanding The Basis For Biotechnology Research
Understanding The Basis For Biotechnology Research
Volume 74, Issue 1, Pages (January 1998)
Continuous Motion Pattern Query
Unit 4: Properties of Matter and the Analysis of Glass
Atoms, Elements, & Molecules Atoms, Elements, & Molecules
Presentation transcript:

BFO/MedO: Basic Formal Ontology and Medical Ontology Draft ( )

Basic Formal Ontology consists in a series of sub-ontologies (most properly conceived as a series of perspectives on reality), the most important of which are: SnapBFO, a series of snapshot ontologies (O ti ), indexed by times SpanBFO a single videoscopic ontology (O v ).

SNAP and SPAN Each O ti is an inventory of all entities existing at a time. O v is an inventory (processory) of all processes unfolding through time. (Each O ti is thus analogous to anatomy; O v is analogous to physiology.)

SNAP and SPAN Each snapshot ontology represents a presentistic assay of the entities existing at some given present instant. O v is a (God’s eye) partition of the totality of processes.

Both SnapBFO and SpanBFO will serve as basis for a series of sub-ontologies at different levels of granularity. The same portion of reality may appear at a plurality of levels of granularity. Thus masses at one level may be aggregates at another level. What counts as a unitary process at one level may be part of a process-continuum at another level. Granularity

BFO applied to Medicine What follows is a preliminary taxonomic tree (inspired in part by LADSEB work) examples of medical entities are indicated in green as a first step towards expanding BFO to MedOMedO

SNAP: Entities existing in toto at a time

SNAP

SPAN: Entities extended in time

Each ontology above represents some partition of reality into categories or universals. Individual instances (tokens) are to be conceived as being located in cells of the diagrams.

The ontologies here indicated are partial only (they are windows on just that portion of reality which is visible through the given ontology).

Double-Counting A cell labeled * within a given ontology represents a category division which involves some double-counting in relation to the categories within the same ontology represented by cells not so labeled.

For example here

Spatial Regions The spatial regions acknowledged by SnapBFO are, on the mesoscopic level of granularity, the sorts of domesticated spatial regions referred to by expressions such as: ‘in the room’, ‘in the lung’, ‘on the table’, ‘in Poland’ etc. (Thus they are not the abstract spatial regions investigated by physics.)

Free and bound portions of space Free portions of space are spatial regions of the same (domesticated) kind but with no physical boundaries or retainers (such as walls, floor, ceiling). Bound portions of space can be bound either completely, as in the case of a closed room or an air-bubble inside your body, or partially, as in the case of a birdcage or nostril.

Free and bound portions of space Both free and bound portions of space retain their identity from one instant to the next even though they are projected in succession onto distinct abstract spatial regions in the physicist’s sense (just as substances retain their identity from one instant to the next even though they are projected in succession on distinct aggregates of molecules).

Behavior Settings The spatiotemporal regions acknowledged by SpanBFO are similarly regions determined by domesticated portions of space over (for example) clock or calendar time. They are the spatiotemporal regions occupied by behavior settings in Roger Barker’s sense (the 5pm train to Long Island, the early morning swim, your meeting with the Dean).

SPAN: Entities extended in time

Relational Dependent Entities Dependent entities, both within the SNAP and within the SPAN ontologies, are divided into: relational (for entities dependent on a plurality of entities) and non-relational (for entities dependent on a single entity).

Problems How are entities visible in the SPAN ontology related to entities visible in the SNAP ontologies (e.g. via dependence, participation, initiation, sustaining in being,etc.) How are entities visible in ontologies at different levels of granularity related to each other (most importantly: as part to whole)