840 likes | 973 Views
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. Formal Ontology. = domain-neutral Examples of categories:
E N D
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
Formal Ontology • = domain-neutral • Examples of categories: • Substance, Process, Agent, Property, Relation, Location, Spatial Region • Part-of, Boundary-of
Material Ontology • = regional or domain-specific ontology, e.g. GeO • Examples of categories: • River, Mountain, Country, Desert … • Resides-In, Is-to-the-West-of
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”
Realist Perspectivalism Perspectivalism: all views are ontologically admissible. Realist Perspectivalism: only those perspectives are admissible that are transparent to reality
Need for different perspectives • Double counting: • 3 apples on the table • 7 x 1016 molecules at spatial locations L1, L2 and L3 • Not one ontology, but a multiplicity of complementary ontologies • Cf. Quantum mechanics: particle vs. wave ontologies
Cardinal Perspectives • Formal vs. Material • Micro- vs. Meso- vs. Macro • SNAP vs. SPAN
A Network of Domain Ontologies BFO = Basic Formal Ontology
Cardinal Perspectives Formal vs. Material Ontologies Granularity (Micro vs. Meso vs. Macro) SNAP vs. SPAN
folk geography land survey Ontological Zooming
Ontological Zooming both are transparent partitions of one and the same reality
Cardinal Perspectives Formal vs. Material Ontologies Granularity (Micro vs. Meso vs. Macro) Time: SNAP vs. SPAN
t i m e process Substances and processesexist in time in different ways substance
t i m e process Snapshot vs. video substance
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)
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
Endurants vs. perdurants • Substances vs. their lives
You are a substance • Your life is a process • You are 3-dimensional • Your life is 4-dimensional
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
SNAP vs. SPAN • SNAP: a SNAPshot ontology of endurants existing at a time • SPAN: a four-dimensionalist ontology of processes
Three kinds of SNAP entities • Substances • SPQR… entities • Spatial regions, Contexts, Niches
SPQR… entities • States, powers, qualities, roles …
Other SPQR… entities: • functions, dispositions, plans, shapes • SPQR… entities are all dependent on substances • relations
space Examples of simple SNAP ontologies 1
includes everything which exists at the corresponding now each SNAP section through reality
Many SNAP Ontologies t3 t2 t1 here time exists outside the ontology, as an index or time-stamp
t i m e The SPAN Ontology
The SPAN ontology here time exists as part of the domain of the ontology
campaign t i m e The SPAN ontology
SNAP and SPAN ontologies are partial only They are windows on just that portion of reality which is visible through the given ontology (… Pat Hayes …) • (Realist perspectivalism)
Three kinds of SNAP entities • Substances • SPQR… entities • Spatial regions, Contexts, Niches
Rule: Respect Granularity spatial region substance quality parts of spatial regions are always spatial regions
Respect Granularity spatial region substance quality parts of substances are always substances