1 / 190

SNAP and SPAN

SNAP and SPAN. Barry Smith . http://ifomis.de. Institute for Formal Ontology and Medical Information Science Faculty of Medicine University of Leipzig. Reality. Reality. Reality. Reality. is complicated. What is the best language to describe this complexity?. Formal ontology.

Jimmy
Télécharger la présentation

SNAP and SPAN

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SNAP and SPAN Barry Smith

  2. http://ifomis.de • Institute for Formal Ontology and Medical Information Science • Faculty of Medicine • University of Leipzig

  3. Reality

  4. Reality

  5. Reality

  6. Reality is complicated

  7. What is the best language to describe this complexity?

  8. Formal ontology • formalized + domain-independent

  9. Formal Ontology • Examples of categories: • Substance, Process, Agent, Property, Relation, Location, Spatial Region • Part-of, Boundary-of

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

  11. Realist Perspectivalism There is a multiplicity of ontological perspectives on reality, all equally veridical i.e. transparent to reality vs. Eliminativism: “Only my preferred perspective on reality is veridical”

  12. 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

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

  14. A Network of Domain Ontologies BFO = Basic Formal Ontology

  15. A Network of Domain Ontologies

  16. A Network of Domain Ontologies

  17. A Network of Domain Ontologies

  18. A Network of Domain Ontologies

  19. A Network of Domain Ontologies

  20. AgrO • PsychO

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

  22. Ontological Zooming

  23. medicine cell biology Ontological Zooming

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

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

  26. Ontology • seeks an INVENTORY OF REALITY • Relevance of ontology for information systems, e.g.: • terminology standardization • taxonomy standardization • supports reasoning about reality

  27. Semantic Web • Ontoweb • OWL • DAML+OIL • … • these are standardized languages only – not themselves ontologies

  28. Ontology research • marked by ad hoc-ism

  29. IFOMIS Strategy • get real ontology right first • and then investigate ways in which this real ontology can be translated into computer-useable form later • DO NOT ALLOW ISSUES OF COMPUTER-TRACTABILITY TO DETERMINE THE CONTENT OF THE ONTOLOGY IN ADVANCE

  30. a language to map these • Formal-ontological structures in reality

  31. Property Object a directly depicting language • ‘John’ ‘( ) is red’ Frege

  32. are pictures of Wittgenstein’s Tractatus • Propositions • States of affairs

  33. The Oil-Painting Principle • in a directly depicting language • all well-formed parts of a true formula are also true A new sort of mereological inference rule – the key to the idea of a directly depicting language – presupposes that parthood is determinate

  35. A directly depicting language • may contain an analogue of conjunction • p and q • _______ • p

  36. but it can contain no negation • p • _______ • p

  37. and also no disjunction • p or q • ______ • p

  38. The idea of a directly depicting language • suggests a new method • of constituent ontology: • to study a domain ontologically • is to establish the parts of the domain • and the interrelations between them

  39. BFO • Basic Formal Ontology • = a formal ontological theory, expressed in a directly depicting language, of all parts of reality • (a great mirror)

  40. The Problem • John lived in Atlanta for 25 years

  41. The Problem • John lived in Atlanta for 25 years • substances, things, objects • PARTHOOD NOT DETERMINATE

  42. The Problem • John lived in Atlanta for 25 years • process • state

  43. t i m e process Substances and processesexist in time in different ways substance

  44. SNAP and SPAN • 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

  45. A Popular Solution

  46. Fourdimensionalism • – time is just another dimension, analogous to the three spatial dimensions • – only processes exist • – substances are analyzed away as worms/fibers within the four-dimensional process plenum

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

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

  49. There are no substances • Bill Clinton does not exist • Rather: there exists within the four-dimensional plenum a continuous succession of processes which are similar in Billclintonizing way

More Related