A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.

Slides:



Advertisements
Similar presentations
© CSCOPE 2009 Introduction to World Geography. © CSCOPE 2009 Geography is the study of place and space: Geographers look at where things are and why they.
Advertisements

GIS: The Grand Unifying Technology. Introduction to GIS  What is GIS?  Why GIS?  Contributing Disciplines  Applications of GIS  GIS functions  Information.
Partitions. Theory of granular partitions There is a projective relation between cognitive subjects and reality Major assumptions: Humans ‘see’ reality.
Applied Cartography and Introduction to GIS GEOG 2017 EL
Chapter 3 The Relational Model Transparencies © Pearson Education Limited 1995, 2005.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
Constituent ontologies and granular partitions Thomas Bittner and Barry Smith IFOMIS – Leipzig and Department of Philosophy, SUNY Buffalo.
Chapter 3. 2 Chapter 3 - Objectives Terminology of relational model. Terminology of relational model. How tables are used to represent data. How tables.
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
A Unified Theory of Granularity, Vagueness and Approximation Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
BFO/MedO: Basic Formal Ontology and Medical Ontology Draft ( )
1 Minggu 2, Pertemuan 3 The Relational Model Matakuliah: T0206-Sistem Basisdata Tahun: 2005 Versi: 1.0/0.0.
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.
A Simple Partition 5 A partition can be more or less refined.
1 Spatial Databases as Models of Reality Geog 495: GIS database design Reading: NCGIA CC ’90 Unit #10.
What is GIS A geographic information system (GIS) is a system designed to capture, store, manipulate, analyze, manage, and present all types of geographical.
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.
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.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Raster and Vector 2 Major GIS Data Models. Raster and Vector 2 Major GIS Data Models.
Place, Location, Region, Movement, Human/Environmental Interaction
Spatial data models (types)
Lecture 2 The Relational Model. Objectives Terminology of relational model. How tables are used to represent data. Connection between mathematical relations.
Chapter 4 The Relational Model Pearson Education © 2014.
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
–combines elements of computer science –database design –software design geography –map projections –geographic reasoning mathematics –mathematical topology.
Applying Rigidity to Standardizing OBO Foundry Candidate Ontologies A.Patrice Seyed and Stuart C. Shapiro Department of Computer Science Center for Cognitive.
Chapter 9 Preview Section 1 Sorting It All Out
Matrix Algebra and Applications
Chapter 3 The Relational Model. 2 Chapter 3 - Objectives u Terminology of relational model. u How tables are used to represent data. u Connection between.
Tessellations Sets of connected discrete two-dimensional units -can be irregular or regular –regular (infinitely) repeatable patter of regular polygon.
INM175 Topic 7 1 Module INM175 Discrete Mathematics Topic 7 Set Theoretic Models.
1 The Relational Database Model. 2 Learning Objectives Terminology of relational model. How tables are used to represent data. Connection between mathematical.
1 Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 1 Adaptation to this.
Copyright © by Holt, Rinehart and Winston. All rights reserved. ResourcesChapter menu How to Use This Presentation To View the presentation as a slideshow.
Logics for Data and Knowledge Representation Applications of ClassL: Lightweight Ontologies.
Sets Define sets in 2 ways  Enumeration  Set comprehension (predicate on membership), e.g., {n | n  N   k  k  N  n = 10  k  0  n  50} the set.
ISPRS Congress 2000 Multidimensional Representation of Geographic Features E. Lynn Usery Research Geographer U.S. Geological Survey.
Logics for Data and Knowledge Representation
Language: Set of Strings
Databases Illuminated Chapter 3 The Entity Relationship Model.
Knowledge Representation. Keywordsquick way for agents to locate potentially useful information Thesaurimore structured approach than keywords, arranging.
CSE (c) S. Tanimoto, 2008 ISA Hierarchies 1 ISA Hierarchies: A Basis for Knowledge Representation with Semantic Networks Outline: Introduction The.
Introduction to World Geography ©2012, TESCCC. Geography is the study of place and space: Geographers look at where things are and why they are there.
Remote Sensing Theory & Background III GEOG370 Instructor: Yang Shao.
Set Theory Concepts Set – A collection of “elements” (objects, members) denoted by upper case letters A, B, etc. elements are lower case brackets are used.
The Relational Model © Pearson Education Limited 1995, 2005 Bayu Adhi Tama, M.T.I.
CLUSTERING GRID-BASED METHODS Elsayed Hemayed Data Mining Course.
Chapter 4 The Relational Model Pearson Education © 2009.
Week 8 - Wednesday.  What did we talk about last time?  Relations  Properties of relations  Reflexive  Symmetric  Transitive.
Discrete Global Grid Systems A New Way to Manage ‘Big Earth Data’ Dr. Matthew B.J. Purss Geoscience Australia Co-Chair OGC Discrete Global Grid Systems.
Chapter 5 Relations and Operations
BFO 2.0 Modularization and Verification
Preview Section 1 Sorting It All Out Section 2 Domains and Kingdoms
ece 627 intelligent web: ontology and beyond
Raster Analysis Ming-Chun Lee.
Place, Location, Region, Movement, Human/Environmental Interaction
CS201: Data Structures and Discrete Mathematics I
Data Queries Raster & Vector Data Models
Chapter 4 The Relational Model Pearson Education © 2009.
Chapter 4 The Relational Model Pearson Education © 2009.
Ontology.
How to Structure an Ontology
Chapter 4 The Relational Model Pearson Education © 2009.
The Relational Model Transparencies
Chapter 4 The Relational Model Pearson Education © 2009.
Presentation transcript:

A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo

2 Granular Partitions The theory of granular partition aims to provide a unifying framework.

3 Theory of granular partitions Goals –A theory of human listing, sorting, cataloguing, categorizing, and mapping activities –explain the selectivity of these cognitive activities –extend mereology with the feature of granularity –and provide an alternative to set theory as a tool to formalize common sense and science

4 Theory of granular partitions (2) There is a projective relation between cognitive subjects and reality Major assumptions: Humans ‘see’ reality through a grid The grid can be regular or irregular

5 Grids can be of different granularities

6

7 Theory of granular partitions (3) Major assumptions –Projection is an active process: it brings certain features of reality into the foreground of our attention (and leaves others in the background) it can bring fiat objects into existence (e.g. Erie County) –Granular partitions are only distantly related to (mathematical) partitions formed by equivalence relations –The projective relation can reflect the mereological structure of reality

8 Projective relation to reality

9 Projection of cells (1) Cell structureTargets in reality Hydrogen Lithium Projection

10 Projection of cells (2) … Wyoming Idaho Montana … Cell structure North America Projection

11 Multiple ways of projecting County partition Highway partition Big city partition 1

12 Theory of granular partitions (4) Core components (master conditions) –Cell structures (Theory A) –Projective relation to reality (Theory B) Subcell relation  Minimal, maximal cell Trees, Venn-diagrams Projection and location (two aspects of  ) Projection is a partial, functional, (sometimes) mereology-preserving relation

13 Theory A

14 Systems of cells Subcell relation  The cell structure of a granular partition –Each cell is connected to the root by a finite chain –Every pair of cells is either in a subcell or a disjointness relation –Has a unique maximal cell or root ‘Illinois’ in the county partition of the State of Illinois The periodic table as a whole –Cell ‘H’ is a subcell of the periodic table –Reflexive, transitive, antisymmetric

15 Cell structures and trees Cell structures can be represented as trees and vice versa Animal Bird Fish Canary Ostrich Shark Salmon

16 A category tree

17 Theory B

18 Projection and location Humans Apes Dogs Mammals

19 Misprojection … Idaho Montana Wyoming … P(‘Idaho’,Montana) but NOT L(Montana,’Idaho’) Location is what results when projection succeeds

20 A granular partition projects transparently onto reality if and only if Transparency of projection (1) –Objects are only located in a cell if they were targeted by this cell: location presupposes projection L(o,z)  P(z,o) –There is no misprojection P(z,o)  L(o,z)

21 Transparency of projection (2) Still: there may be irregularities of correspondence –There may be cells that do not project (e.g. ‘unicorn’) –Multiple cells may target the same object –There may be ‘forgotten’ objects (e.g. the species dog above)

22 Functionality constraints (1) Location is functional: If an object is located in two cells then these cells are identical, i.e., L(o,z 1 ) and L(o,z 2 )  z 1 = z 2 Venus Evening Star Morning Star Two cells projecting onto the same object

23 Functionality constraints (2) China Republic of China People’s Republic of China The same name for the two different things: Projection is functional: If two objects are targeted by the same cell then they are identical, i.e., P(z,o 1 ) and P(z,o 2 )  o 1 = o 2

24 Preserve mereological structure Helium Noble gases Neon Potential of preserving mereological structure

25 Partitions should not distort mereological structure Humans Apes Dogs Mammals distortion If a cell is a proper subcell of another cell then the object targeted by the first is a proper part of the object targeted by the second.

26 Features of granular partitions Selectivity –Only a few features are in the foreground of attention Granularity –Recognizing a whole without recognizing all of its parts Preserve mereological structure

27 Classification of granular partitions

28 Theory of granular partitions (4) Classes of granular partitions according to –Degree of preservation of mereological structure –Degree of completeness of correspondence –Degree of redundancy

29 Mereological monotony … Helium Noble gases Neon … Helium Noble gases Neon Projection does not distort mereological structureProjection preserves mereological structure

30 Projective completeness Empty cells In every cell there is an object located, i.e.,

31 Exhaustiveness Humans Apes Dogs Mammals Everything of kind  in the domain of the partition A is recognized by some cell in A Do the objects targeted by cells exhaust a domain ?

32 Example partitions:

33 Properties of cadastral partitions Cell structure: stored in database Projection carves out land- parcels (geodetic projection) Properties –Transparent: projection and location are functions –Exhaustive (no no-mans lands) –Mereologically monotone

34 Categorical coverages Two reciprocally dependent partitions: 1.Partition of an attribute domain 2.Partition of the surface of earth into zones –E.g., land use or soil types –Legend in a categorical map –Zones of sand or clay –Spatial subdivision

35 Properties Attribute partitionSpatial partition Regularity of structure and correspondence is due to the fiat character of the subdivision Exhaustive relative to the spatial component Projection and location are functional Potentially partial Not necessarily mereologically monotone Complete (no empty cell) Exhaustive (no no-mans lands) Projection and location are total functions and mutually inverse Mereologically monotone

36 Folk categorization of water bodies Not a tree + double cell-labels at different levels of hierarchy Distorts mereological structure Location is not a function

37 Conclusions Formal ontology of granular partitions Theory underlying listing, sorting, cataloguing, categorizing, and mapping human activities Built upon mereology Enriches mereology with the features of selectivity and granularity Two major parts: –Theory A: the structure of systems of cells –Theory B: projective relation to reality Granular partitions can be classified regarding: completeness and exhaustiveness

38 Ongoing work Folk and common-sense categories have weaker structure A theory of granularity, vagueness, and approximation based on partition theory