80
Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Embed Size (px)

Citation preview

Page 1: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Ontology: From Philosophy to

Engineering

Barry Smith

August 26, 2013

Page 2: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Part One: Introduction

Part Two: An Oil and Gas Industry Case Study

Part Three: How to Do It Right

Part Four: Massively Planned Social Agency

2

Page 3: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Ontology (Philosophy)

“Ontology” a synonym for “Metaphysics”

3

The theory of being as being

Page 4: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

4

Ontology (Engineering)

Ontologies are standardized classification systems which enable data from different sources to be combined

Page 5: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

5

Page 6: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

6

Page 7: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

7

National Center for Biomedical Ontology

$35.8 mill. NIH Roadmap Center

founded 2005

Stanford Medical Informatics

The Mayo Clinic

University at Buffalo Department of Philosophy

Page 8: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

national center for

ontological research

founded October 2005

Page 9: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

9

established to:• advance ontology standards and principles• advance ontology education• develop measures of quality for ontologies and

to establish best practiceshttp://ncor.us

Main activities:• initiated Ontology for the Intelligence Community

(OIC) series: http://ncor.us/OICseries• ontology contributions to Army Net-Centric Data

Strategy

NCOR

Page 10: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Examples of Ontology Projects funded by National Institutes of Health

NIH / NHGRI GO: Gene Ontology

NIH / NIGMS PRO: Protein Ontology

NIH / NIAID IDO: Infectious Disease Ontology

NIH / NIAID Major Histocompatilibity Complex (MHC) Ontology

NIH / NHGRI SO: Sequence Ontology

NIH / NLM FMA: Foundational Model of Anatomy

NIH / NHGRI CL: Cell Ontology

10

Page 11: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

11

Page 12: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

12

Page 13: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

How Siri Works – Interview with Tom Gruber, CTO of SIRI

January 26th, 2010

Nova Spivack: Siri seems smart, at least about the kinds of tasks it was designed for. How is the knowledge represented in Siri – is it an ontology or something else?

Tom Gruber: Siri’s knowledge is represented in a unified modeling system that combines ontologies, inference networks, pattern matching agents, dictionaries, and dialog models. … Siri can look at what it knows and think about similarities and generalizations at a semantic level.

13

Page 14: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Part Two: Oil and Gas Industry Case Study

14

Page 15: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

15

Ontology (Engineering) often marked by intellectual confusions, which lead to failures

Gruber: ‘For AI systems what “exists” is what can be represented’

Microsoft Healthvault: ‘An allergy episode is … a single unit of data that is recorded in Microsoft Healthvault’

Page 16: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

www.acrc.unisa.edu.au

An Ontological Core for Conformance Checking in the Engineering LifecycleFOIS 2014

Andreas Jordan, Matt Selway, Georg Grossmann, Wolfgang Mayer, Markus Stumptner

University of South Australia

Advanced Computing Research Centre

Adelaide, South Australia

Page 17: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Industrial plants

Page 18: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Engineering Lifecycle

• Plant or Component

Page 19: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Engineering Conformance Checks

• Want to validate concrete systems– Components– Composed subsystems– Plant

• Operational behavior monitored over time– To do this requires passing data between the software

systems in different stages of the lifecycle

Page 20: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Document Management

Engineering CAD/CAE Systems

Process Modeling Systems

Planning and Dispatch Systems

Lab Information Management

Reconciliation System

Maintenance System

Historian System Data

Data

Data

Data

Data

Data

Data

Data

Environmental Monitoring System Data

Financial SystemData

HR SystemData

Production SystemData

Documents SystemData

Procedures SystemData

Planning SystemData

EHS SystemData

Maintenance SystemData

Supply SystemData

Enterprise ManagementProduction Management

Data Exchange in a Production Enterprise

• System Stability And Reliability Issues• No Single Version Of The Truth• System Maintenance Issues• Difficult Access To Multiple Systems/Applications

(courtesy of Emerson Process Management)

Page 21: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Prioritized Oil & Gas Use Cases

1 Information Handover from EPC to O/O

2 Recurring Engineering Updates to O&M

3 Field Changes to Plant/Facility Engineering

4 Online Product Data Library

5 Asset Configuration Updates

6 Preventive Maintenance Triggering

7 Condition-Based Maintenance Triggering

8 Early Warning Notifications

9 Incident Management/Accountability

10 Information Provisioning of O&M Systems

21

Page 22: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

ISO 15926 Design Information

Page 23: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Practical aspects

• After a decade, not all of the “Data Model” is used (about 45%)

• Concrete implementations institute auxiliary concepts to sideslip 4D nature

• Explicit entry of classification relationships means that these become prescriptive– If a pump deteriorates in use and moves outside its

design parameters, the model becomes inconsistent

Page 24: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013
Page 25: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

25

 Data Model: a generic 4D model that can support all disciplines, supply chain company types and life cycle stages, regarding information about functional requirements, physical solutions, types of objects and individual objects as well as activities

ISO 15926 Part 2

Page 26: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

26

How Not to Build Useful Ontologies

ISO/FDIS 15926-2

Lifecycle integration of process plant data including oil and gas production facilities

Matthew West (Shell, Retd.)

Page 27: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

27

Heh ! Let’s reinvent the wheel

Page 28: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

28

2006 NIST Upper Ontology Summit

March 14-15, 2006,Gaithersburg, MD

ISO 15926 proposed for general use as an upper level ontology – for ‘integrating diverse information systems’ and ‘integrating [and] analyzing mid-level ontologies’ without restriction.

Matthew West, “ISO 15926 – Integration of Lifecycle Data” http://ontolog.cim3.net /file/work/UpperOntologySummit/UO-Summit-Meeting_20050315/UOS--west_ 20060315.ppt

Page 29: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

29

General Defects in Ontology Documentation

many ontology authors do not take account of the fact that expressions such as ‘data’, ‘instance’, ‘entity’, ‘object’, ‘represent’, ‘model’ etc., are used in different ways by different (database, programmer, general user) communities.

How to avoid creating puddings out of such abstract nouns?

Page 30: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

30

The importance of consensus-based uptake

An ontology is like a telephone network: it is designed to support exchange of information.

Its value depends on the number of users who agree to adopt and to help maintain this common network

Thus it depends also on the existence of a straightforward learning path for new users, and of clear and easily accessible documentation.

Page 31: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

31

The importance of consensus-based uptake

is even greater in the case of an upper level ontology

which is designed to support exchange of information about all subjects

Page 32: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

32

First Great Mystery

Of the 201 terms included in the ISO 15926 upper-level ontology, 88 are of the form ‘class of X’, for example:

class_of_composite_materialclass_of_compoundclass_of_dimension_for_shape class_of_featureclass_of_feature_whole_partclass_of_functional_objectclass_of_inanimate_physical_objectclass_of_indirect_connection

Page 33: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

33

Definition of ‘class’

A <class> is a <thing> that is an understanding of the nature of things and that divides things into those which are members of the class and those which are not according to one or more criteria.

Example: ‘Centrifugal pump is a <class>’.

Page 34: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

34

‘class_of_ relationship_with_related_end_1’

DEFINITION: a <class_of_ relationship> where a particular <thing> is related in the <class_of_relationship>, rather than the members of a <class>. The related <thing> plays the <role_ and_domain> indicated by the class_of_end_1 attribute.

Page 35: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

35

‘class_of_cause_of_beginning_of_class_of_individual’

DEFINITION: A <class_of_relationship> that indicates that a member of a <class_of_activity> causes the beginning of a member of a <class_of_individual>.

How does a class ‘indicate’?

Page 36: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

36

‘class_of_cause_of_beginning_of_class_of_individual’

DEFINITION: a <class_of_relationship> that indicates that a member of a <class_of_activity> causes the beginning of a member of a <class_of_individual>.

The term ‘class_of_cause_of_beginning_of_class_of_individua’ indicates that we are to focus on the causes of beginnings of classes.

The definition seems to be about the causes of the beginnings of individuals

But ISO 15926 elsewhere tells us that classes do not have beginnings,

Page 37: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

37

<class_of_class_of_composition>

DEFINITION: a <class_of_class_of_ relationship> whose members are instances of <class_of_composition>. It indicates that a member of a member of the class_of_class_of_part is a part of a member of an instance of the class_of_class_of_whole,

EXAMPLE: Toxicity description is a class_of_class_of_part of a material data sheet, where the description “has carcinogenic components” is a class_of_part on the Mogas Material Safety Data Sheet, and copy #5 of the Mogas Material Safety Data Sheet has “has carcinogenic components” as a part.

Page 38: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

38

Believe me, this is not the best way to deal with part-whole relations in an

ontology

Page 39: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

39

Pleural Cavity

Pleural Cavity

Interlobar recess

Interlobar recess

Mesothelium of Pleura

Mesothelium of Pleura

Pleura(Wall of Sac)

Pleura(Wall of Sac)

VisceralPleura

VisceralPleura

Pleural SacPleural Sac

Parietal Pleura

Parietal Pleura

Anatomical SpaceAnatomical Space

OrganCavityOrganCavity

Serous SacCavity

Serous SacCavity

AnatomicalStructure

AnatomicalStructure

OrganOrgan

Serous SacSerous Sac

MediastinalPleura

MediastinalPleura

TissueTissue

Organ PartOrgan Part

Organ Subdivision

Organ Subdivision

Organ Component

Organ Component

Organ CavitySubdivision

Organ CavitySubdivision

Serous SacCavity

Subdivision

Serous SacCavity

Subdivision

part

_of

is_a

Page 40: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

40

Det Norske Veritas*http://projects.dnv.com/reference_data/RD7Browser/

*Norwegian Truth

Page 41: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

41

What the oil and gas industry tells me

The ‘upper ontology’ of ISO 15926 is hardly used

The lower branches of ISO 15926 are useful as a controlled vocabulary (because what came before was so bad) – these lower levels deal

with pump, flange, valve,

Page 42: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Part Three: How to Do It Right

Basic Formal Ontology (upper level architecture

Domain Ontologies built downwards by SMEs collaborating to create stable reference modules

42

Page 43: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

43

Page 44: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

OBO Foundry approach extended into other domains

44

NIF Standard Neuroscience Information Framework

IDO Consortium Infectious Disease Ontology

cROP Common Reference Ontologies for Plants

MilPortal.org Military Ontology

AIRS Ontology Suite

Intelligence Ontology Suite

Page 45: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

45

Page 46: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Planned

46

Finance Ontology Suite (FIBO)

Institutions and Organizations Ontology Suite

Document and Document Control Ontology Suite

Planning Ontology Suite (AFRL)

Page 47: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Massively Planned Social Agency

• Part Four

47

Page 48: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Center of Excellence in Environmental and Energy Systems

• Intelligent buildings • Weather, Climate• Energy, sustainability• Sensor data• Heating and cooling, combustion• Materials• Pollutants, toxins

48

Page 49: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

The meshing of actions of large numbers of people in

is made possible by an intermeshing of documents

49

Page 50: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

50

Page 51: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Orchestal score with

staves

51

Page 52: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

52Hector Berlioz, Le corsaire, Overture, H 101

Page 53: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

The actions of the players in an orchestral performance

• are intermeshed through the sets of intermeshed documents we call orchestral scores

• scores are sets of instructions for playing• scores generate intermeshed obligations to

play in a certain way

53

Page 54: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Scores bring it about that specific obligation series are distributed across large groups

54

Page 55: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

scores and subscoresplans and subplans

which also allow training (rehearsal)

55

Page 56: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Modularity of Orchestral Score

Page 57: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Laws allow intermeshing too• systems of intermeshed obligations• systems of intermeshed plans • systems of intermeshed instructions• system of intermeshed authorities

which in turn allow• conception of ever more complex intermeshed plans

through reliance on shared commitments and on development of intermeshed expertise

• excution of these plans through shared agency• investment in human and physical capital

57

Page 58: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Directions of fit

• world-to-document: a plan is formulated to change the world (to make it conform to the mind of the planner …)

• document-to-world: an assertion is about something in the world

• automatic mind-to-world-and-world-to-mind: I say “I promise to pay you $100 dollars” and thereby make it true that I promise to pay you $100 dollars

58

Page 59: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

59

what begins as a plan, ends as a record

what makes the record true is: the journey you took

Page 60: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Blueprint

what begins as a plan

ends as a record • of process• of product

60

Page 61: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Blueprint associated with multiple series of documents with deontic powers

chain of commitments from order to blueprint creation to acceptance of

blueprint to process of building in

accordance with blueprint

to acceptance of finished building 61

Page 62: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Plans will be modified along the way

physical changes to the building to meet building codes

changes in materials/supplierschanges in allowed physical

processeschanges in administrative

(approval) processesbills and receipts for fees paid

for approvals and certificates

62

Page 63: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Documents with different directions of fit become intermeshed through being

stapled together over time

63

Page 64: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

How create intelligent urban planning

64

Page 65: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Robert Moses’ Richmond Parkway Interchange, Staten Island

Page 66: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

66

Urban PlanningPolice, Public Safety

Local Government

Sanitation, Sewers, Cemeteries

Entertainment

Garbage Removal

Housing, Building Codes, Zoning

Employment

Parks, Zoos

Light, Fresh Air

Primary and Secondary Education

Public Health

Doctors, Hospitals

Streets and Roads, Public Transport

Regional and National PlanningMilitary

Agriculture

Regional and National Government

Housing Supply

Food Supply

Water Supply

Trade, Commerce

Tertiary Education

Scientific Research

Major Arteries, Airports

Tourism

Environmental Protection

Page 67: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Plans have document-to-world directions of fit

Plans, here, must be mediated by documented-guided actions of

persons and groups with authority

But what are the juridictions here?

67

Page 68: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

68

Urban PlanningPolice, Public Safety

Local Government

Sanitation, Sewers, Cemeteries

Entertainment

Garbage Removal

Housing, Building Codes, Zoning

Employment

Parks, Zoos

Light, Fresh Air

Primary and Secondary Education

Public Health

Doctors, Hospitals

Streets and Roads, Public Transport

Regional and National PlanningMilitary

Agriculture

Regional and National Government

Housing Supply

Food Supply

Water Supply

Trade, Commerce

Tertiary Education

Scientific Research

Major Arteries, Airports

Tourism

Environmental Protection

Page 69: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

69

Page 70: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Center of Excellence in Environmental and Energy Systems

• Intelligent buildings • Weather, Climate• Heating and cooling, combustion• Materials• Pollutants, toxins

70

Page 71: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

Industrial Foundations Classes

71

• IfcRelationship[edit]• IfcRelationship captures relationships among

objects. There are five fundamental relationship types: composition, assignment, connectivity, association, and definition.

• IfcRelDecomposes captures a whole-part relationship having exclusive containment such as subdividing a building into floors and rooms or a wall into studs and sheathing.

Page 72: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013
Page 73: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

73

Page 74: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

importing BFO

74

Page 75: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

http://x.co/5Gwqf

75

Page 76: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

76

Page 77: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

http://x.co/5GwuR

77

Page 78: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

78

Computer Coupling of Phase Diagrams and Thermochemistry

Page 79: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

79

Page 80: Ontology: From Philosophy to Engineering Barry Smith August 26, 2013

John’s temperature: June 4, 1952

Parts of the graph•a label indicating the target of measurement, here: Ringo•a label indicating the quality that is being measured, here: temperature •a time axis with associated actual time values and a measurement unit•a second, orthogonal axis with associated measurement values, here degrees Celsius•a set of graph entries (points on the graph)•a rectangular graph background (the two-dimensional shaded area demarcated by the two axes)•a continuous line connecting the graph entries, which we refer to as the graph line•rest: smoothing, error, slope, area under curve …

an information content entity