31
S-TEN ISO 15926, OWL, and ISO 10303 How to keep things simple Vico Equense, 3 rd March 2006 David Leal, CAESAR Systems Limited

S-TEN ISO 15926, OWL, and ISO 10303 How to keep things simple Vico Equense, 3 rd March 2006 David Leal, CAESAR Systems Limited

Embed Size (px)

Citation preview

S-TEN

ISO 15926, OWL, and ISO 10303

How to keep things simple

Vico Equense, 3rd March 2006

David Leal, CAESAR Systems Limited

2 S-TENIntelligent Self-describing Technical and Environmental Networks

Scope of session

Keeping it simple ISO 15926 OWL XSLT datasheet demonstration

Ontology vs. Epistemology two styles of modelling

Time tags or functional locations equipmentTime

Reference data libraries in practice ISO 15926-4 development

3 S-TENIntelligent Self-describing Technical and Environmental Networks

Material

Matthew West’s ISO 15926 presentation link to Shell’s business practice

David Leal’s ISO 15926 presentation some simple examples

OWL examples with XSLT conversion to HTML

AP221 P&ID example practical stuff

ISO 15926-4 spreadsheets POSC-CAESAR web browser

4 S-TENIntelligent Self-describing Technical and Environmental Networks

Straightforward data modelling – ISO 10303 style

line segment point in spacehas ends S[2:2]

person

administrative regionbirth registered in

has parents S[2:2]

Works well:

Works badly – not instantiable:

5 S-TENIntelligent Self-describing Technical and Environmental Networks

Straightforward data modelling – ISO 10303 style

line segment point in spacehas ends S[2:2]

person

administrative regionbirth registered in

has parents S[2:2]

Works well:

Works OK:

6 S-TENIntelligent Self-describing Technical and Environmental Networks

Straightforward data modelling – ISO 10303 style

person

has husband or wife

Works OK:

7 S-TENIntelligent Self-describing Technical and Environmental Networks

Straightforward data modelling – ISO 10303 style

person

man

woman

(RT) has husband or wife

(RT) has husband or wife

1

has husband or wife

Works OK – can even add constraints:

but in the real world:

8 S-TENIntelligent Self-describing Technical and Environmental Networks

Straightforward data modelling – ISO 10303 style

person

has husband or wife S[1:?]

Works badly – ambiguous:

serial monogamypolygamypolyandrya combination of these?

What:

When?

one way to fix the ambiguity is ‘4D modelling’:

9 S-TENIntelligent Self-describing Technical and Environmental Networks

4D data models – ISO 15926 style

person

has husband or wife

period in thelife of a person

within life time

point in time

start

end

administrative regionbirth registered in

Works well – but not always intuitive:

and it gets worse:

10 S-TENIntelligent Self-describing Technical and Environmental Networks

4D data models – ISO 15926 style

has temporal parts S[1:?]

period in thelife of a person

(whole life) person

(RT) has temporal parts S[1:?]

point in time

start

end

Works well – but not always intuitive:

a generic version of the previous slide – still less intuitive

physical object

11 S-TENIntelligent Self-describing Technical and Environmental Networks

Think of the activities

point in time

start

end

Correct and intuitive:

but often it is custom and practice to forget the activities

person

participates as husband

participates as wife

an operational property value is the result of a measurement activity,

a design property value is the result of a design activity.

We may associate a property value directly with the thing that ‘possesses’ it, but:

marriage(as an activity)

12 S-TENIntelligent Self-describing Technical and Environmental Networks

Measurement activity

point in time

start

end

physical object

participates as subject

participates as instrument

Correct and intuitive:

measurement method(class of activity)

method

property valueestimate produced

measurement(as an activity)

most activities also have people participating

13 S-TENIntelligent Self-describing Technical and Environmental Networks

operational datafor defined periodsoperational datafor defined periods

4D data models – ISO 15926 style

physical object

has temporal parts S[1:?]

(whole life) pump

(RT) has temporal parts S[1:?]

point in time

start

end

period in thelife of a pump

operational datafor particular periods

operational datafor defined periodsoperational datafor defined periods

design datafor whole life

Real engineering – thousands of attributes:

14 S-TENIntelligent Self-describing Technical and Environmental Networks

4D data models – installation

physical object

has temporal parts S[1:?]

(whole life) pump

point in time

start

end

materialised physical object

Tag and equipment:

functional physical object

1

equipment

tag or functional location

15 S-TENIntelligent Self-describing Technical and Environmental Networks

4D data models – installation

physical object

has temporal parts S[1:?]

(whole life) pump

point in time

start

end

materialised physical object

Tag and equipment:

functional physical object

1

RDL

equipment

tag or functional location

16 S-TENIntelligent Self-describing Technical and Environmental Networks

4D data models – installation - instances

UPS_1234

temporal part of

COMS_101-power_supply

uninterruptible power supply

UPS_1234-23temporal part of

during

classified as classified as

period in time

materialised physical object functional physical object

physical object

class of physical object

17 S-TENIntelligent Self-describing Technical and Environmental Networks

Some OWL – temporal part and properties

<Thing about=“#UPS_1234”> <type resource=“ISO15926-2#materialised_physical_object”/> <type resource=“ISO15926-4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234-23”</Thing>

<Thing about=“#UPS_1234-23”> <temporal_part_of resource=“#UPS_1234”> <during> <period_in_time> <beginning> <point_in_time> <utc>2006-03-03T16:10</utc> </point_in_time> </beginning> </period_in_time> </during>

<located_at> ---- location information

</Thing>

18 S-TENIntelligent Self-describing Technical and Environmental Networks

Some OWL – temporal part and installation

<Thing about=“#UPS_1234”> <type resource=“ISO15926-2#materialised_physical_object”/> <type resource=“ISO15926-4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234-23”</Thing>

<Thing about=“#COMS_101-power_supply”> <type resource=“ISO15926-2#functional_physical_object”/> <type resource=“ISO15926-4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234-23”</Thing>

<Thing about=“#UPS_1234-23”> <temporal_part_of resource=“#UPS_1234”> <temporal_part_of resource=“#COMS_101-power_supply”>

</Thing>

19 S-TENIntelligent Self-describing Technical and Environmental Networks

Some OWL – temporal part and installation

<Thing about=“#UPS_1234”> <type resource=“ISO15926-2#materialised_physical_object”/> <type resource=“ISO15926-4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234-23”</Thing>

<Thing about=“#COMS_101-power_supply”> <type resource=“ISO15926-2#functional_physical_object”/> <type resource=“ISO15926-4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234-23”</Thing>

<Thing about=“#UPS_1234-23”> <temporal_part_of resource=“#UPS_1234”> <temporal_part_of resource=“#COMS_101-power_supply”>

</Thing>

installed as

20 S-TENIntelligent Self-describing Technical and Environmental Networks

Some OWL – RDF notation

UPS_1234

UPS_1234-23

COMS_101-power_supply

temporal part of temporal part of

materialised physical object functional physical object

typetype

uninterruptible power supply

type type

during

beginning utc

period in time

type2006-03-03T16:10

point in time

21 S-TENIntelligent Self-describing Technical and Environmental Networks

Use of the RDL on the Internet

my data your data

RDLurn:iso:std:……urn:iso:std:……

urn:oid:123:456

references are by URN

22 S-TENIntelligent Self-describing Technical and Environmental Networks

Multiple RDLs

my data

RDL 1

urn:iso:std:15926-4:…

urn:iso:std:5678:-3:…..

urn:iso:std:5678:-3:…..

RDL 2

23 S-TENIntelligent Self-describing Technical and Environmental Networks

Logical and physical

my data

ISO 15926-4

urn:iso:std:15926:-4:…..

24 S-TENIntelligent Self-describing Technical and Environmental Networks

Logical and physical

my data

ISO 15926-4

www.iso.int/std/15926/-4:…

software

my network

ISO network

25 S-TENIntelligent Self-describing Technical and Environmental Networks

Logical and physical

my data

ISO 15926-4

www.iso.int/std/15926/-4:…

software

my network

ISO network

ISO 15926-4

mirror site

www.epistle.int/std/15926/-4:…

26 S-TENIntelligent Self-describing Technical and Environmental Networks

Logical and physical

my data

ISO 15926-4

www.iso.int/std/15926/-4:…

software

my network

ISO network

ISO 15926-4

mirror site

www.epistle.int/std/15926/-4:…

ISO 15926-4local copy

c:/std/15926/-4:…

27 S-TENIntelligent Self-describing Technical and Environmental Networks

Versions

thing ABC

thing PQR

thing XYZ

thing UVW

subClassOf

subClassOf

type

28 S-TENIntelligent Self-describing Technical and Environmental Networks

Versions

thing ABC

thing PQR

thing XYZ

thing UVW

subClassOf

subClassOf

type

thing PQRv2

subClassOf

type

subClassOf

29 S-TENIntelligent Self-describing Technical and Environmental Networks

Versions

thing ABC

thing PQR

thing XYZ

thing UVW

subClassOf

subClassOf

type

thing PQRv2

type

subClassOf

supersedes

subClassOf

30 S-TENIntelligent Self-describing Technical and Environmental Networks

New data Initial data

Versions

thing ABC

thing PQR

thing XYZ

thing UVW

subClassOf

subClassOf

type

thing PQRv2

type

subClassOf

supersedes

subClassOf

31 S-TENIntelligent Self-describing Technical and Environmental Networks

part 3part 2

Parts 2 and 3

my physicalobject

my 10m sphereof space

temporalpart of

10m sphereof space shape

member of member of

my 10m sphereof space manifold

sphere

10mhas radius

length

manifold

subclass of

shape

member of

member of

property

radiusdomain range

member of

10m sphereof space manifold

shape

sphereof space 10m

radius{10m}

member of

subclass of

subclass of subclass of subclassof

domain range

‘similar to’ = same object different assumptions

spatiallocation

member of

subclass of