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, 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