Relations Relations are entities obtaining between entities, their relata. In defining a relation, two parameters matter: -the number of relations, the.

Slides:



Advertisements
Similar presentations
The UNIVERSITY of NORTH CAROLINA at CHAPEL HILL Chapter 3. Conditional Probability and Independence Section 3.1. Conditional Probability Section 3.2 Independence.
Advertisements

Earth Science 17.1A Atmosphere Characteristics
Interdependence.
Erosion and Deposition Changing Earth’s Surface
Erosion Bust a move!.
Effects of Weathering, Erosion and Deposition
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 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.
Next Week: Final 4 presentations - two on Tuesday and two on Thursday… No readings! Today: Are there Laws and/or Foundational Principles of Ecology? 18.
BFO/MedO: Basic Formal Ontology and Medical Ontology Draft ( )
Entity-Relationship Diagrams Elements, Syntax Guidelines Dictionary.
Erosion and Deposition Agents, Forces, and Results.
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.
Immanent Realism, Orderings and Quantities Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
VT. SNAP and SPAN Substances Mesoscopic reality is divided at its natural joints into substances: animals, bones, rocks, potatoes.
1 Depicting Reality Barry Smith
Introduction to Thermodynamics Unit 03 - Thermodynamics.
Thermodynamics BCH 341 lecture 3. Thermodynamics is the study of the patterns of energy change. Thermodynamics is the study of the patterns of energy.
Agents, Forces, and Results. Seminole_Canyon.JPG ntian_Clay_Beds_-_geograph.org.uk_-
Weathering and Erosion
Biogeochemical Cycles in your Classroom. Summary Students will discover and discuss the component pieces of the biogeochemical cycle. Key Concepts Matter.
Change in the Biosphere. Changes in the Lithosphere 3.1 About 4.6 Billion years Humans have been around for about 100,000 years.
Module 5.
The Changing Earth. The Changing Earth Chapter Fourteen: Weathering and Erosion 14.3 Rivers Shape the Land.
Guided Notes about Weathering
A – Migration Introduction
Activity: Imagine that you are a tin can-shiny, new, and clean. But something happens, and you don’t make it to a recycling bin. Instead, you are left.
Lecture 1 Introduction- Manifestations of Transport and Tourism.
Constructive and Destructive Forces
A Local Ecosystem. Abiotic features of the environment Abiotic features are the non-living components of the environment. They include, Physical features:
Endurance Perdurance SNAP and SPAN. Substances Mesoscopic reality is divided at its natural joints into substances: animals, bones, rocks, potatoes.
Ecosystems. Primary Vocabulary Terms o Ecosystem o Biomass o Law of Conservation of Energy o Law of Conservation of Matter o Trophic levels o Detritus.
STAAR Need to Know 1 STAAR Reporting Category 3 Earth and Space Middle School Science Science STAAR Need to Know.
Upper-Level Ontology Considerations for the Geospatial Ontology Community of Practice Eric Little, PhD D’Youville College Center for Ontology & Interdisciplinary.
DEPICTION OF GEOLOGICAL PROCESSES WITH ONTOLOGY
1 Software Engineering: A Practitioner’s Approach, 6/e Chapter 8: Analysis Modeling Software Engineering: A Practitioner’s Approach, 6/e Chapter.
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.
The language of set theory is a FOLWUT language
Weathering, Mass Wasting & Erosion
weathering mechanical weathering chemical weathering oxidation Weathering.
Agents, Forces, and Results. Seminole_Canyon.JPG ntian_Clay_Beds_-_geograph.org.uk_-
Basic Formal Ontology Barry Smith August 26, 2013.
It is sometimes called the “outer skin” of the Earth, like the skin of a fruit. Soil is one of the most important of Earth’s resources. This layer provides.
1 2 Energy is something that is needed to make things happen. Energy can make things move or change. Energy is not a substance or an object that you.
Water Erosion “We’re changing Earth’s Surface!” A. Stream Erosion 1. Running Water 2. Energy 3. The water cycle -Most effective agent in wearing down.
Let's dig up our knowledge on soil.
Erosion and Deposition
Energy Flow.
Erosion and Deposition
Weathering, Erosion, and Soil Notes
Erosion and Deposition
EROSION.
Erosion and Deposition
Erosion and Deposition
Erosion and Deposition
Weathering and Erosion
Weathering and Erosion
Erosion and Deposition
Erosion Bust a move!.
EROSION.
Discovery Seminar /UE 141 M – Fall 2008 Solving Crimes using Referent Tracking Relations and the killing problem --- the students’ views ---
Erosion Bust a move!.
Erosion and Deposition
4 CHAPTER.
Erosion and Deposition
Presentation transcript:

Relations Relations are entities obtaining between entities, their relata. In defining a relation, two parameters matter: -the number of relations, the arity of the relation -the type of the relata, expressed as an ordered list, it is called the signature of the relation. In addition, a number of axioms will encode the 'meaning' of the relation.

BFO SNAP ComponentSPAN Component Substances Dependents Space Regions Processuals Processes Events Space-Time Regions

Signatures in BFO Take the binary case, we find these main signatures: SNAP-SNAP -(snapi, snapi) -(snapi, snapj), inverse SPAN-SPAN idem SNAP-SPAN, inverse

Relations have families There are relations which may have several forms and variants, more specialized or similar versions. Forms and variants may require axiomatic specification. E.g., a relation of signature (snapi, snapj) may require i i. Forms may differ in signature. E.g., genidentity has two forms (snapi, snapj) or (span, span)

Relations in BFO Three main types of relations: -intra-ontological ones which obtain between relata of the same ontology (same SNAP, same SPAN) -trans-ontological ones which obtain between relata of different ontologies (different SNAP, different SPAN) -meta-ontological (or trans-ontological cross component) ones which obtain between relata of different ontologies of different types (SNAP-SPAN, SPAN-SNAP) Basic relations have forms of different type.

Ontological Dependence -specific/generic Holds when an entity necessitates the existence of another. Basic formal with different forms: -(SNAP, SNAP): property-substance The token redness of the sand necessitates the sand. -(SPAN, SNAP): process-participant The erosion of the rock necessitates the rock.

Part-to-Whole Basic relation exclusively intra-ontological: either SNAP- SNAP or SPAN-SPAN. SNAP-SNAP: only if SNAPs have the same index and the same granularity level. Needs additional trans-ontological relations: -temporary part accross SNAPs -cross granular parthood accross SNAPs SNAP-SNAP: -temporal part (and slice) -sub-process.

Genidentity SPAN-SPAN: There might be a form of geindentity among processes, either within a single ontology or accross a multiplicity. The such-has-to-have-come-forth-from relation. SNAP-SNAP: trans-ontological relation. Cut a chunk of matter in two, the sum of the remaining pieces is genidentical to the chunk before cutting

Causal Relations SNAP-SPAN: Causal Agency A substance produces or modifies causally a process. SPAN-SPAN: Processual causation A processual causes another processual to occur. SPAN-SNAP: Causal repercution A process results in the modification of a substance (it is mediated by processual causation). SNAP-SNAP: Causal Origin A substance is the causal origin of another. It is mediated by a chain of other types of causal relations.

SNAP-SPAN Relations Called earlier meta-ontological or trans- ontological cross component. Relate a SNAP entity to a SPAN entity or vice versa.

SNAP-SPAN Relations (2) SNAP-entities participate in Processes. In particular, they have histories. Dependent entities such as roles, plans, and status have executions.

SNAP-SPAN Relations (3) Time plays an important role has a medium. SNAP-entites exist at a time, SPAN-entites are located at a time. They co-incide at such times.

Signatures in BFO SNAP ComponentSPAN Component Substances Dependents Space Regions Processuals Processes Events Space-Time Regions

Signatures in BFO (2) SNAP ComponentSPAN Component Substances Dependents Space Regions Processuals Processes Events Space-Time Regions

Signatures in BFO (3) (SNAP, SPAN) (Substance, Processual) (Dependent, Processual) (Space Region, Processual) (Processual, Substance) (Processual, Dependent) (Processual, Space Regions) (SPAN, SNAP) (Substance, ST Region) (Dependent, ST Region) (Space Region, ST Region) (ST Region, Substance) (ST Region, Dependent) (ST Region, Space Regions)

Relations in BFO A number of relations following the lay out of possible signature with a varying degree of generality (some forms of others). Familly ressemblances, relations standing as inverse, more or less directly, some functional relations maybe. A few axes of variations which can be traced in the hierarchy: -activity / passivity -benefactor / malefactor -direct / indirect

SNAP-SPAN Participation Perpetration Initiation Perpetuation Termination Influence FacilitationHindering Mediating ObtainingTheater FromTo Genus Species

Participation (SNAP, SPAN) (Substance, Processual) A substance participates in a processual. A racer participates in a race. A voter participates in a poll.

Perpetration A substance perpetrates an action: direct and agentive participation in a processual. The referee fires the pistoll. The captain gives the order. (SNAP, SPAN) (Substance, Processual)

Initiation (SNAP, SPAN) (Substance, Processual) A substance initiates a processual. A referee starts the race. An attorney initiates the procedure of revision of the process of his or her client.

Perpetuation A substance preserve into being a process. The singer sings the song. A (heated) filament perpetuates the emission of light. (SNAP, SPAN) (Substance, Processual)

Termination (SNAP, SPAN) (Substance, Processual) A substance terminates a process. The operator switches off the projector in the theater, indicating thereby the end of the projection of the movie. The judge terminates the imprisonment of the pardonned convict.

Mediating (SNAP, SPAN) (Substance, Processual) A substance plays an indirect role in the unfolding of a process. The catalyst provides chemicals for the reaction. The diplomat organizes peace talks.

Influence (SNAP, SPAN) (Substance, Processual) A substance, although not participating, or a dependent entity (in fine dependent on a substance) has an influence of the course of action of a process or the occurrence of an event. The steepness of the slope bear effects on the movement of the troops. The generals influence the course of action.

Faciliation (SNAP, SPAN) (Substance, Processual) A substance as an indirect or secondary role of participation in the process (it can be a participate of a part of taht process). A driver give a ride to the diplomats, the pilote fly them to the rendez-vous. The peacekeepers facilitate the peace process.

Hindering (SNAP, SPAN) (Substance, Processual) A substance has an indirect negative effect on the unfolding of a process (by participating in other processes). Resistance hinders troops progression. Strikers prevents the airplane from departing.

Obtaining (SNAP, SPAN) (Substance, Processual) The most general relation between a dependent entity and a processual. The processual is an obtaining, realization or execution of the dependent. The power to legislate is realized by the chamber in passing a law. The benefactor role of antibiotics is executed during its journey in the body.

Theater (SNAP, SPAN) (Location, Processual) A location is the theater of the occurrence of processuals. Leipzig has several fair during the year. The Plain of Abraham have seen a great battle. Roughly: inverse of the taking-place relation.

Point of departure / arrival (SNAP, SPAN) (Substance, Processual) A place is the point of departure or of arrival of a process. Paris is the place where started the race. Roubaix is the place where finished the race. Roughly: inverses of starts-in / ends-at taking-place.

SPAN-SNAP Involvement Creation Sustain in existence Destruction Continuation Degradation Execution Taking place Starts in Ends at Genus Species Apparition Vanishing Demarcation Blurring Inhering Degradation

Involvement The most general relation between a processual and a substance. The former includes the latter in its unfolding. Some forms are as inverses of forms of participation. Races involve the racers. Wars involve civilians. (SPAN, SNAP) (Processual, Substance)

Creation (SPAN, SNAP) (Processual, Substance) A process brings into being a substance (substantial creation). The car accident creates a trauma. The work of the potter creates the vase (not the same relation as that between the potter and the vase).

Sustain in existence A process sustains in being a substance. The circulation of the blood sustains the body and its parts. Levying sustains the army. (SPAN, SNAP) (Processual, Substance)

Deterioration (SPAN, SNAP) (Processual, Substance) A process affects a substance with negative effects. Drinking coffee contributes to the deterioration of theeth. The flow of water erodes the rock.

Destruction A process brings out of being a substance. (Substantial destruction) The car accident destroys the car. The falling of the vase on the floor breaks it. (SPAN, SNAP) (Processual, Substance)

Demarcation (SPAN, SNAP) (Processual, Boundary) A process creates (fiat or bona fide) boundaries of substances. The signiature of the treaty settles borders between countries. The tracing of the area of operation by the surgeon defines a boundary, the incision performed by the surgeon yet another one.

Blurring (SPAN, SNAP) (Processual, Boundary) A process makes boundaries vague. The military statu quo creates no men's land. The successful transplant creates fuzzy boundaries between original tissues and grafted ones.

Inhering/material occurence? A process is projected on matter through this relation. It captures the relevant dependent entities inhering in substances. A warming process is a raise in temperature. Receiving an award mobilizes several statuses that of the awardee, of the awarder, etc. (SPAN, SNAP) (Processual, Dependent)

Execution/realization Some processuals are executions or realizations of dependent entities such as roles, status, powers, etc. The power of following the prescription is realized by the willing patient. Giving a lecture is a realization of the professor's status and an execution of its role. (SPAN, SNAP) (Processual, Dependent)

Apparition A process brings into being a dependent entity. (Qualitative Creation) The car accident re-shape the car. The backing of the clay gives the vase ist rigidity, its color. (SPAN, SNAP) (Processual, Dependent)

Continuation in existence A process continues the existence of a dependent entities. The projection of the slide continues the existence of the colored spot. The firing of the fireworks continues the coloration of the sky (supports change). (SPAN, SNAP) (Processual, Dependent)

Degradation (SPAN, SNAP) (Processual, Dependent) A process affects a substance's quality or status (a dependent entity) by lowering its degree. The opening of the window diminishes the temperature level in the room. The polishing of the vase diminishes its rugosity.

Vanishing (SPAN, SNAP) (Processual, Dependent) A process brings out of being a dependent entity. (Qualitative destruction) The car accident destroys the car's shape. The burning of the vase destroys its color.

Taking place (SPAN, SNAP) (Processual, Location) A process occurs in a given place or in an area. The Revolution took place in Paris. The wind blows beyond the 24th parallel.

Starts in / ends at (SPAN, SNAP) (Processual, Location) A process begins / ends at a location. The race started in Paris. The race ended in Roubaix.

Functionality of relations Some relations are functional, i.e., many-to-one. Taking-place is functional when understood as exact- location. Participating as the subject of a single doer processual (e.g., birth or death) is functional.

Functionality of relations (2) Functionality of the most general form of a relation seems rare. The question is which are they? It is possible to define a functional form of a relation. Take a many-to-many relation (e.g., participation), associates with each elements of its domain (i.e., participants in a processual) the sum of its image (I.e., processes) under the original relation.

Projection We may define projections as functions associating each element of the domain of a relation R with the sum of its images under R. The projection is said to be along R.

Projection (2) For instance, a process projects on the time of its duration, on the space-time it occupies (intra SPAN). It projects as well on: -the space it occupies at a given time (along taking-place) -the sum of its participants at a time (along mobilization) -the sum of dependent entities (along obtaining)

Projection (3) process material regionspatial region participants spatio-temporal region snap t1 span

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

Temporal Projection The co-incidence in time of relata required by many SNAP-SPAN relations motivates a form of incidence in time or temporal projection for each type of entity. SNAP entities: -SNAP-SPAN: (SNAP, Time) which amounts to existence at a time (projection along this relation). SPAN entities: -SPAN-SPAN: (Processual, Time) which is a form of location in time (projection along this relation).

Temporal Slices as the ‘other‘ leg of the bridge between SNAP and SPAN x y x, y participate in B time B

Temporal Slices as the ‘other‘ leg of the bridge between SNAP and SPAN time x y Time t At time t, a temporal slice of B co-incide temporally with SNAP-t.

Co-temporality It is a requisit for most SNAP-SPAN relations (participation, obtaining, etc.) Exception: complex relations or forms which are derived from elementary SNAP-SPAN relations and one or many trans-ontological SNAP relations or intra- ontological SPAN (crossing time). For instance, a relation between a person and the remains of a relative conceived defining with genidentity a direct relation to the relative (such as remebrance or love).

SNAP-SPAN Participation Perpetration Initiation Perpetuation Termination Influence FacilitationHindering Mediating ObtainingTheater FromTo Genus Species

SPAN-SNAP Involvement Creation Sustain in existence Destruction Continuation Degradation Execution Taking place Starts in Ends at Genus Species Apparition Vanishing Demarcation Blurring Inhering Degradation