1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and Institute for Formal Ontology and Medical Information Science (ifomis.de) University.

Slides:



Advertisements
Similar presentations
So What Does it All Mean? Geospatial Semantics and Ontologies Dr Kristin Stock.
Advertisements

09/22/07Andrew Frank1 Data Quality Ontology: An Ontology for Imperfect Knowledge Andrew U. Frank Geoinformation TU Vienna
Relations Relations are entities obtaining between entities, their relata. In defining a relation, two parameters matter: -the number of relations, the.
RULES of Contour Mapping.
1 How to Rent a Car (and Why you Can’t Rent a Person): The Ontology of Production and Consumption Barry Smith
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 Part 3 Tools of Ontology: Universals, Partitions.
Constituent ontologies and granular partitions Thomas Bittner and Barry Smith IFOMIS – Leipzig and Department of Philosophy, SUNY Buffalo.
Function, Role, and Disposition in Basic Formal Ontology Robert Arp and Barry Smith Ontology Research Group (ORG) National Center for.
1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science.
1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science.
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
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.
From Layered Mereotopology to Dynamic Spatial Ontology Maureen Donnelly and Barry Smith Department of Philosophy, University at Buffalo and Institute for.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
AN INTRODUCTION TO BIOMEDICAL ONTOLOGY Barry Smith University at Buffalo 1.
A Unified Theory of Granularity, Vagueness and Approximation Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
VT. From Basic Formal Ontology to Medicine Barry Smith and Anand Kumar.
Pathways and Networks for Realists Barry Smith 1.
1 VT. 2 The Ontology of Commodities and Services, or: Why You Can Rent a Car but Cannot Rent a Person): Barry Smith
BFO/MedO: Basic Formal Ontology and Medical Ontology Draft ( )
Entity-Relationship Diagrams Elements, Syntax Guidelines Dictionary.
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.
1 Basic Formal Ontology Barry Smith March 2004
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Constituent ontologies and granular partitions Thomas Bittner and Barry Smith IFOMIS – Leipzig and Department of Philosophy, SUNY Buffalo.
VT. SNAP and SPAN Substances Mesoscopic reality is divided at its natural joints into substances: animals, bones, rocks, potatoes.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
The Six Essential Elements of Geography
Geography Themes and Essential Elements
GeoPKDD Geographic Privacy-aware Knowledge Discovery and Delivery Kick-off meeting Pisa, March 14, 2005.
Georgios Christodoulou, Euripides G.M. Petrakis, and Sotirios Batsakis Department of Electronic and Computer Engineering, Technical University of Crete.
U.S. Department of the Interior U.S. Geological Survey The Development of a National Hydrography Dataset for Semantic Geospatial Science Integration Dalia.
1 How to Rent a Car (and Why you Can’t Rent a Person): The Ontology of Production and Consumption Barry Smith
–combines elements of computer science –database design –software design geography –map projections –geographic reasoning mathematics –mathematical topology.
Spatial Data Analysis Yaji Sripada. Dept. of Computing Science, University of Aberdeen2 In this lecture you learn What is spatial data and their special.
Endurance Perdurance SNAP and SPAN. Substances Mesoscopic reality is divided at its natural joints into substances: animals, bones, rocks, potatoes.
Upper-Level Ontology Considerations for the Geospatial Ontology Community of Practice Eric Little, PhD D’Youville College Center for Ontology & Interdisciplinary.
Modeling Storing and Mining Moving Object Databases Proceedings of the International Database Engineering and Applications Symposium (IDEAS’04) Sotiris.
Chapter 1 – A Geographer’s World
DEPICTION OF GEOLOGICAL PROCESSES WITH ONTOLOGY
Geographic Information Systems Temporal GIS Lecture 8 Eng. Osama Dawoud.
The Environment Ontology Barry Smith 1.
Abstract We have designed ontologies related to an investigation of changes in gouge porosity in small-displacement faults via 2D computer simulations.
Quality issues in Spatial Databases M. Mostafavi, G. Edwards, R. Jeansoulin CRG & GEOIDE & REVIGIS Victoria, May 2003.
02. November 2007 Florian Probst Data and Knowledge Modelling for the Geosciences - Chris Date Seminar - e-Science Institute, Edinburgh Semantic Reference.
1 An Introductory Course in Ontology and the Forms of Social Organization.
The Role of Architecture and Ontology for Interoperability EFMI Special Topic Conference 2010 June Reykjavik, Iceland Bernd Blobel eHealth Competence.
Mapping Socio-Economic Indicators in Google Earth Dr. Brian Eddy Dept. of Geography and Environmental Studies, Carleton University.
1 SNAP and SPAN Barry Smith 2 Institute for Formal Ontology and Medical Information Science Faculty of Medicine University of Leipzig.
JOHN BEVERLEY Thermodynamic Equilibrium Ontology (TEO)
1 BFO and GOL Ontological theory vs. ontology language GOL as an ontology representation language analogous to KIF (thus maximally eclectic) BFO as an.
Basic Formal Ontology Barry Smith August 26, 2013.
New York State Center of Excellence in Bioinformatics & Life Sciences R T U Discovery Seminar /UE 141 MMM – Spring 2008 Solving Crimes using Referent.
Vocabulary Terms. Geography Geography is a science that deals with Earth's surface.
1 Standards and Ontology Barry Smith
Vulnerability: An Ontological Analysis
Lecture 10 Persistence: endurance and perdurance
Department of Geography Jeon-Young Kang · Yi Yang
Discovery Seminar UE141 PP– Spring 2009 Solving Crimes using Referent Tracking Entities and their relationships - How the homework should have been.
Ontology of Geographic Representation (OGR)
Semantic Visualization
Social Studies: Introduction to Maps
9th Grade Geography Introduction to maps
SNAP and SPAN Barry Smith.
How to Structure an Ontology
Presentation transcript:

1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and Institute for Formal Ontology and Medical Information Science (ifomis.de) University of Leipzig

2 Formal Ontology = domain-neutral Examples of categories: Substance, Process, Agent, Property, Relation, Location, Spatial Region Part-of, Boundary-of

3 Material Ontology = regional or domain-specific ontology, e.g. GeO Examples of categories: River, Mountain, Country, Desert … Resides-In, Is-to-the-West-of

4 Realist Perspectivalism There is a multiplicity of ontological perspectives on reality, all equally veridical and transparent to reality vs. Reductionism: “Only my preferred perspective on reality is veridical”

5 Realist Perspectivalism Perspectivalism: all views are ontologically admissible. Realist Perspectivalism: only those perspectives are admissible that are transparent to reality

6 Need for different perspectives Double counting: 3 apples on the table 7 x molecules at spatial locations L1, L2 and L3 Not one ontology, but a multiplicity of complementary ontologies Cf. Quantum mechanics: particle vs. wave ontologies

7 Cardinal Perspectives Formal vs. Material Micro- vs. Meso- vs. Macro SNAP vs. SPAN

8 A Network of Domain Ontologies BFO BFO = Basic Formal Ontology

9 A Network of Domain Ontologies BFO MedO

10 A Network of Domain Ontologies BFO MedOGeO

11 A Network of Domain Ontologies BFO MedOGeOLexO

12 A Network of Domain Ontologies BFO MedOGeOLexOMilO

13 A Network of Domain Ontologies BFO MedOGeOLexOMilOEcO

14 Cardinal Perspectives Formal vs. Material Ontologies Granularity (Micro vs. Meso vs. Macro) SNAP vs. SPAN

15 Granular Partitions

16 Ontological Zooming

17 Ontological Zooming folk geography land survey

18 Ontological Zooming both are transparent partitions of one and the same reality

19 Cardinal Perspectives Formal vs. Material Ontologies Granularity (Micro vs. Meso vs. Macro) Time: SNAP vs. SPAN

20 Substances and processes exist in time in different ways substance t i m e process

21 Snapshot vs. video substance t i m e process

22 Endurants and perdurants Substances and processes Continuants and occurrents In preparing an inventory of reality we keep track of these two different categories of entities in two different ways (stocks vs. flows)

23 Endurants vs. perdurants Endurants - have continuous existence in time - preserve their identity through change - exist in toto if they exist at all Perdurants - have temporal parts - unfold themselves through time - exist only in their phases/stages

24 Endurants vs. perdurants Substances vs. their lives

25 You are a substance Your life is a process You are 3-dimensional Your life is 4-dimensional

26 Substances do not have temporal parts The first 5-minute phase of my existence is not a temporal part of me It is a temporal part of that complex process which is my life

27 How do you know whether an entity endures or perdures?

28 SNAP vs. SPAN 1.SNAP: a SNAPshot ontology of endurants existing at a time 2.SPAN: a four-dimensionalist ontology of processes

29 Three kinds of SNAP entities 1.Substances 2.SPQR… entities 3.Spatial regions, Contexts, Niches

30 SPQR… entities States, powers, qualities, roles …

31 Other SPQR… entities: functions, dispositions, plans, shapes SPQR… entities are all dependent on substances relations

32 Examples of simple SNAP ontologies 1 space

33 Examples of simple SNAP ontologies 2

34 Examples of simple SNAP ontologies 3

35 each SNAP section through reality includes everything which exists at the corresponding now

36 Many SNAP Ontologies t1t1 t3t3 t2t2 here time exists outside the ontology, as an index or time-stamp

37 The SPAN Ontology t i m e

38 here time exists as part of the domain of the ontology The SPAN ontology

39 t i m e campaign The SPAN ontology

40 They are windows on just that portion of reality which is visible through the given ontology ( … Pat Hayes … ) SNAP and SPAN ontologies are partial only (Realist perspectivalism)

41 SNAP: Entities existing in toto at a time

42 Three kinds of SNAP entities 1.Substances 2.SPQR… entities 3.Spatial regions, Contexts, Niches

43

44

45 SNAP

46 SPAN: Entities extended in time

47 SPAN: Entities extended in time

48 SPAN: Entities extended in time

49 Rule: Respect Granularity spatial regionqualitysubstance parts of spatial regions are always spatial regions

50 Respect Granularity spatial regionqualitysubstance parts of substances are always substances

51 Respect Granularity spatial regionqualitysubstance parts of qualities are always qualities

52 Respect Granularity process parts of processes are always processes

53 Relations crossing the SNAP/SPAN border are not part- relations John’s life substance John physiological processes sustaining in existence

54 Parts of processes (1) c c: boundary a a a: scattered part b b: temporal slice

55 Parts of processes (2) a a: sub-process b b: phase

56 Relations between SNAP and SPAN SNAP-entities participate in processes; they have lives, histories.

57 SPQR… entities and their SPAN realizations the expression of a function the exercise of a role the execution of a plan the realization of a disposition the application of a therapy

58 SPQR… entities and their SPAN realizations function role plan disposition therapy SNAP

59 SPQR… entities and their SPAN realizations expression exercise execution realization application SPAN

60 Temporal Co-Incidence x y SNAP-t At time t, colony of bacteria in the throat. time SPAN Migration of a colony of bacteria from the mouth to the small intestine. B

61 Participation x y substances x, y participate in process B time B x y SNAP-t i. time SPAN B

62 Projections process material regionspatial region participants spatio-temporal region SNAP t i SPAN

63 SNAP-SPAN relations (3) Ontological dependence. Some forms of participation: -initiation, termination -creation, destruction -sustenance, degradation

64 Ontology for Geographical Information Science

65 GeO

66 An adequate ontology of geography has to have those three components: 1. SNAP 2. FIELD 3. SPAN

67 SNAP GeO

68 An adequate ontology of geography has to have those three basic categories: 1. Geographical Objects 2. Geographical Attributes 3. Places, Niches, Environments

69 FIELD GeO

70 An adequate ontology of geography has to have those three categories: 1. Fields 2. Fields Attributes 3. Spatial Regions

71 SPAN GeO

72 An adequate ontology of geography has to have those two categories: 1. Processual Entities 2. Space-Time Worms

73 Relations in GeO Of course, all the Basic Formal Relations obtain here. There are GeO specific relations or GeO specifics forms of Basic Formal Relations.

74 Relations in GeO Forms of geo-spatial location -orientation (east of, etc.) -field elements -geographical location (projection on Earth's surface, 2-D) -geo-spatial location (with considerations of altitude, 3-D) Relations defined based on participation in specific geographical processes.

75 Geo Location ground, 2d-location underground, 3d-location above ground, 3-d location

76 Relations between SNAP and SPAN (and FIELD) in GeO

77 Geographical Changes Some types of processes: -Movements (location change) -Substantial Change -Property Change

78 Movement from location x ends begins movement to location y

79 begins movement from location x to location y ends Moving Outside

80 Initiation Destruction

81 Creation a process P t1 a region of space R where P is ongoing R Snap-t1

82 Creation P t1 R Snap-t1 t2>t1 R Snap-t2 P initiates a, a's birth at t2 a's life (overlaps P)

83 Property change

84 Scenario