The Semantics of Things that Happen an exploration Mike Bennett - - PowerPoint PPT Presentation

the semantics of things that happen
SMART_READER_LITE
LIVE PREVIEW

The Semantics of Things that Happen an exploration Mike Bennett - - PowerPoint PPT Presentation

The Semantics of Things that Happen an exploration Mike Bennett Ontolog Forum, 5 November 2015 1 Outline Brief introduction to FIBO The requirements for occurrent Issues with current placeholders A philosophical investigation


slide-1
SLIDE 1

The Semantics of Things that Happen

an exploration

Mike Bennett Ontolog Forum, 5 November 2015

1

slide-2
SLIDE 2

Outline

  • Brief introduction to FIBO
  • The requirements for occurrent
  • Issues with current placeholders
  • A philosophical investigation
  • Occurrent pairwise disjoint facets
  • Conclusions and discussion starters

2

slide-3
SLIDE 3

Introducing FIBO

3

slide-4
SLIDE 4

Financial Industry Data Standards

4

slide-5
SLIDE 5

Disparate Data

5

? ? ? ? ?

slide-6
SLIDE 6

Unified Semantics

6

Conceptual ontology

Shared business meanings

slide-7
SLIDE 7

Business Validation

7

Conceptual ontology

Shared business meanings

Validated by business

slide-8
SLIDE 8

Formal Logic Representation

8

Conceptual ontology

Shared business meanings

Validated by business Expressed logically

slide-9
SLIDE 9

Finance Industry Language

  • Terminology / Vocabulary

– Focus is on words – Different people use the same words for different concepts and different words for the same concepts

  • Data Dictionary

– Documents the meaning or meanings of individual data elements – Good design means one data element has many applications

  • Ontology

– Each element in the model represents on concept

9

slide-10
SLIDE 10

The FIBO Moment

  • Previous standardization efforts at message

and data levels

  • Arguments over terms
  • Atkin: “What if we considered the concepts

without worrying about the words people use?”

– Sudden outbreak of peace!

10

slide-11
SLIDE 11

The FIBO Principles

  • Concepts not Words
  • Meanings are grounded in the terms of law,

contract etc.

  • Use of upper level abstractions

11

slide-12
SLIDE 12

Upper Ontology Partitions

12

slide-13
SLIDE 13

Continuants and Occurrents

Thing

Continuant Occurrent

13

slide-14
SLIDE 14

Continuants and Occurrents

Thing

Continuant Occurrent

  • Continuant:

where it exists, it exists in all its parts

– Even if these change over time

  • Occurrent: the

concept is only meaningful with reference to time

14

slide-15
SLIDE 15

Continuants and Occurrents

Thing

Continuant Person Contract Pilot Occurrent Event State Etc.

  • Continuant:

where it exists, it exists in all its parts

– Even if these change over time

  • Occurrent: the

concept is only meaningful with reference to time

15

slide-16
SLIDE 16

Ontology Partitioning

Thing

Continuant Person Contract Pilot Occurrent Event State Etc.

  • Things which are independent or relative

are also either continuant or occurrent

16

slide-17
SLIDE 17

Continuants and Occurrents Example

Thing

Continuant Me Occurrent My life

  • Me: where I exist I

exist in all my parts

– Even if these change over time

  • My life: happens
  • ver a period of

time and cannot be defined without time

17

slide-18
SLIDE 18

Why does this Matter?

  • Frame concepts which have a temporal component

which are of interest to the business

– Events, activities – States – Statuses, prices, other time-variant concepts

  • Provide a basis for ontological modelling of business

process

  • This brings the two sides of development (structural

and behavioural) into the same conceptual model

18

slide-19
SLIDE 19

FIBO Occurrent Things Placeholders

  • Event
  • Activity
  • Process (e.g. securities issuance)
  • Corporate events
  • Lifecycles
  • Interest Accrual
  • Conditions and triggers
  • Transacton workflow / payments process

19

slide-20
SLIDE 20

Event

20

slide-21
SLIDE 21

Activity

21

slide-22
SLIDE 22

22

Process

slide-23
SLIDE 23

Process

23

slide-24
SLIDE 24

Terms Derived from REA Ontology

24

slide-25
SLIDE 25

ISO 15944-4

25

slide-26
SLIDE 26

REA Basic Terms

26

slide-27
SLIDE 27

Occurrents

27

slide-28
SLIDE 28

Txn Event

28

slide-29
SLIDE 29

29

Txn Event Detail – Undertakings

slide-30
SLIDE 30

Ontology Summit 2014 Risk Hackathon

30

slide-31
SLIDE 31

Initial Diagram for Risk Concepts

31

slide-32
SLIDE 32

Risk Concepts Ontology

32

slide-33
SLIDE 33

Risk Concepts Ontology

33

slide-34
SLIDE 34

Event Ontology Design Pattern

34

slide-35
SLIDE 35

What is Event?

  • Event as something with a time and a place?
  • Event as a relationship between 2 states?
  • Event as every kind of “Occurrent Thing”?

35

slide-36
SLIDE 36

Other Occurrent Requirements

Occurrent thing Descriptive Occurrent Prescriptive Occurrent Historic Occurrent Predictive Occurrent Plan Process Definition Something which really happens (at some time) Definition of what should happen (repeatable) Definitive Occurrent Method

36

slide-37
SLIDE 37

Philosophical Investigation

37

slide-38
SLIDE 38

Achievements and Attainments

  • Stanford Encyclopedia
  • DOLCE
  • Some reactions and followups

38

slide-39
SLIDE 39

Definitions

  • From

– http://www.researchgate.net/post/Perdurant_occ urrents_and_perdurant_continuants_definitions_ and_implications

39

slide-40
SLIDE 40

Continuants and occurrents.

  • Continuants correspond largely to physical bodies, objects,

and particular masses of matter, while occurrents correspond to events, processes, and - perhaps - momentary states. Here, I employ the following distinction:

– a continuant is constructed as a spatial entity that has all its parts at an instant t, and no spatial parts at any other instant – an occurrent is constructed as a temporal entity that has only one part, or that has sequential temporal parts.

40

slide-41
SLIDE 41

Endurants and perdurants

  • In contemporary theories of persistence, a persisting entity

either endures by having all its parts at any instant; or perdures by having parts at sequential instants. More generally,

– an endurant has no temporal parts (or, at least, no conceptually distinguishable temporal parts) and thus exists in its entirety at each instant of its existence – a perdurant has temporal parts, and is at least temporally extended.

41

slide-42
SLIDE 42

Discussion

  • Continuant:

– Leibniz’s Law

  • Identity is based on having the same properties
  • However, parts and other properties change over time

– They key is identity

– “A thing which continues in its identity”

– Reject the explicitly “spatial” element of the definition

  • A commitment is a continuant

42

slide-43
SLIDE 43

Discussion

  • Occurrent

– Some commentators suggest that time scale plays a part in the definition

  • We reject this

– Use the perdurant definition – The concept is temporal in its definition

  • Bit it need not be instantaneous
  • A thing consisting entirely of temporal parts is itself an
  • ccurrent/perdurant

43

slide-44
SLIDE 44

FIBO Working Definitions

  • Continuant:

– Definition: “something which exists and retains its identity across points in time” – Explanatory Note: These persist over time even when their constituents alter over time

  • Occurrent:

– Definition: “something which is defined wholly with reference to time

  • r which consists of one or more things which are defined wholly with

reference to time” – Explanatory Note: These are extended in time and so are only partly present at any time in which they exist

44

slide-45
SLIDE 45

Extensions

  • DOLCE has 4 extensions of perdurant

– Achievement – Accomplishment – State – Process

  • We need some clarity on achievement versus

accomplishment, since the English words are synonymous – need to determine what are the assertions that distinguish these

45

slide-46
SLIDE 46

DOLCE Light

  • DOLCE Light left out a lot of the endurant v

perdurant stuff, and simply said

  • there is an object, which is something that is rather than

something that happens;

  • and then there is Event, which is something that happens.
  • These are the same concepts with different labels

46

slide-47
SLIDE 47

DOLCE Explanation

47

Source: http://www.inf.ed.ac.uk/teaching/courses/kmm/PDF/L7-DOLCE.pdf

slide-48
SLIDE 48

DOLCE Explanation

48

Source: http://www.inf.ed.ac.uk/teaching/courses/kmm/PDF/L7-DOLCE.pdf

slide-49
SLIDE 49

Wikipedia Definitions

  • Endurant

– Also known as continuants, or in some cases as "substance", endurants are those entities that can be

  • bserved-perceived as a complete concept, at no matter which given snapshot of time. Were we to

freeze time we would still be able to perceive/conceive the entire endurant. – Examples include material objects (such as an apple or a human), and abstract "fiat" objects (such as an organization, or the border of a country).

  • Perdurant

– Also known as occurrents, accidents or happenings, perdurants are those entities for which only a part exists if we look at them at any given snapshot in time. When we freeze time we can only see a part of the perdurant. – Perdurants are often what we know as processes, for example: "running". If we freeze time then we

  • nly see a part of the running, without any previous knowledge one might not even be able to

determine the actual process as being a process of running. Other examples include an activation, a kiss, or a procedure.

49

slide-50
SLIDE 50

Events (SEP)

50

slide-51
SLIDE 51

Events (sorted)

  • These are not the labels we will use
  • Ontology is about the concepts

51

slide-52
SLIDE 52

Comments

  • Achievement and Accomplishment

– As labels these were not helpful to business SMEs – Also not clear if we would use them in FIBO – Meanwhile, each represents a combination of concepts per the 2x2 table

  • Conclusion

– Separate out the distinct meanings – Pairwise disjoint facets – Also support earlier use cases for e.g. process as prescriptive occurrent

52

slide-53
SLIDE 53

Proposals

  • Faceted classification
  • Some proposed facets
  • Extending and using these

53

slide-54
SLIDE 54

Faceted Classification Thing

54

slide-55
SLIDE 55

Faceted Classification Thing

Red Thing Blue Thing

Differentiae: what distinguishes the sub types of the Thing

55

slide-56
SLIDE 56

Faceted Classification Thing

Round Thing Square Thing

Differentiae: what distinguishes the sub types of the Thing

56

slide-57
SLIDE 57

Faceted Classification

Thing

Round Thing Square Thing Red Thing Blue Thing Round Red Thing Round Blue Thing

etc.

57

slide-58
SLIDE 58

In initial prototyping environment

  • (Sparx EA, with visual representation of OWL

constructs but not RDF export)

  • Facets:

– Culminating – Prescriptive – Functional

  • Purposeful

– Instantaneous

  • Linking provisionally to FIBO placeholders

58

slide-59
SLIDE 59

*geneous

class Occurrent Thing Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing mutually exclusive mutually exclusive

59

slide-60
SLIDE 60

Occurrent Facets

class Occurrent Facets Thing Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing Prescriptive Occurrent Descriptive Occurrent Culminating Occurrent Non Culminating Occurrent Discrete Occurrent Continuous Occurrent Functional Occurrent Non Functional Occurrent State Intended Occurrent Non Intended Occurrent Non Deterministic Occurrent Deterministic Occurrenrt mutually exclusive mutually exclusive mutually exclusive mutually exclusive mutually exclusive mutually exclusive

60

slide-61
SLIDE 61

Culminating Facet

class Occurrent Culminating Thing Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing Culminating Occurrent Non Culminating Occurrent mutually exclusive mutually exclusive mutually exclusive

61

slide-62
SLIDE 62

Telic: Function v Purpose

  • Telic can be read as being something with a function
  • Some interpretations attribute intent to the notion of

function

– We reject this – see e.g. Finke

  • http://www.patheos.com/blogs/camelswithhammers/2011/10/na

tural-functions/

– A hand has a function but no designer intended that function

  • Functional occurrent is superclass of purposeful
  • ccurrent

– We would not use a word like telic anyway – Functional = Telic

62

slide-63
SLIDE 63

Functional and Purposeful

class Occurrent Purposeful Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing Functional Occurrent Non Functional Occurrent Goal Desired Result is pursuant to Intended Occurrent Non Intended Occurrent is pursuant to mutually exclusive mutually exclusive mutually exclusive

63

slide-64
SLIDE 64

Instantaneous Facet

64

slide-65
SLIDE 65

Prescriptive

class Occurrent Prescriptive Thing Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing Prescriptive Occurrent Descriptive Occurrent mutually exclusive mutually exclusive mutually exclusive

65

slide-66
SLIDE 66

Prescriptive detail

class Occurrent Prescriptive Extended Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing Prescriptive Occurrent Descriptive Occurrent Historic Occurrent Predictive Occurrent Business Process Definition Plan Adds the property of being repeatable (disaster recovery plans are also kinds of this despite the label) Distinction is this is a

  • template. You take the

prescription and make an instance of the thing Production Actual v Hypothetical PLan or process you have committed to... Intended Occurrent Functional Occurrent Hypothetical Occurrent with a probability mutually exclusive mutually exclusive mutually exclusive follows defines 0..1

66

slide-67
SLIDE 67

Goal

class Occurrent Stative Goal Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing State Goal Desired Result mutually exclusive mutually exclusive

67

slide-68
SLIDE 68

Ongoing and Purposeful

class Ongoing Purposeful Occurrents Continuant Thing Occurent Thing Heterogeneous Thing Homogeneous Thing Prescriptive Occurrent Descriptive Occurrent Culminating Occurrent Non Culminating Occurrent Discrete Occurrent Continuous Occurrent Functional Occurrent Non Functional Occurrent State Interest Accrual Ongoing Purposeful Occurrent Duration Instant Interval Parametric Thing Unit has granularity Temporal Unit Thing has temporal granularity Non Intended Occurrent Relative Thing Enabling Agent Concrete Independent Thing Autonomous Agent Intended Occurrent is intended by length mutually exclusive is intended by «PartOf» isPartOf Enabling Agent has Identity «objectProperty» takesForm «annotationProperty» source
  • fArchetype
has temporal granularity «HasPart» has part has granularity
  • ccurs over
interval mutually exclusive
  • ccurs at instant
mutually exclusive mutually exclusive mutually exclusive mutually exclusive mutually exclusive

68

slide-69
SLIDE 69

Implementation

  • Move these into Cameo Conceptual Modeler

for onward RDF/OWL generation

  • Still needed to address the question of State

69

slide-70
SLIDE 70

Occurrent Facets

70

slide-71
SLIDE 71

What is State

  • There are two concepts often referenced by the

word “State”

– The state something is in

  • E.g. being red, being in default
  • Per State Transition Diagrams
  • This is occurrent

– The state itself

  • The state of redness, the state of default
  • This is a continuant thing
  • It is also abstract (does not have concrete members in the

world)

71

slide-72
SLIDE 72

State Concepts

72

slide-73
SLIDE 73

Achievement and Accomplishment

Occurrent Thing

Homogeneous Heterogeneous

Culminating Occurrent Purposeful Occurrent Non Purposeful Occurrent Stanford “Accomplishment” Stanford “Achievement” Non Culminating Occurrent

73

slide-74
SLIDE 74

Achievement and Accomplishment

Occurrent Thing

Homogeneous Heterogeneous

Instantaneous Occurrent Purposeful Occurrent Non Purposeful Occurrent Stanford “Accomplishment” Stanford “Achievement” Durative Occurrent

74

slide-75
SLIDE 75

Occurrent Facets Uses

Occurrent Thing

Homogeneous Heterogeneous

Instantaneous Occurrent Purposeful Occurrent Non Purposeful Occurrent Process Achievement of a Milestone Durative Occurrent

Think of this as (one meaning of) Process* Has a start and an end but has a duration Culmination of a goal-directed activity = Milestone? Not quite Then split this into prescriptive and descriptive Series: Sequences of the same thing Ordered sequences of (different) things Interest Accrual Interest Payment

Definitive Occurrent

*Reserved word

75

slide-76
SLIDE 76

Summary and Discussion Points

  • We needed high level primitive concepts within which to

frame various things which happen in finance

  • These need not be highly axiomatized

– rather, we want to ground out the meanings of a minimum set

  • f primitive concepts so other concepts are derivable from

these by use of axioms

  • Analysis of existing concepts revealed multiple concepts

– So we segregated these into pairwise disjoint facets – Have identified a possibly complete (?) set of facets – State was a challenge as it is two things only one of which is

  • ccurrent
  • Have we defined a high level language from which to

articulate things which happen?

76

slide-77
SLIDE 77

Thank You!

  • Mike Bennett

– mbennett@edmcouncil.org – mbennett@hypercube.co.uk – www.edmcouncil.org – http://www.edmcouncil.org/semanticsrepository/ index.html

77