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

2. S-TEN Intelligent Self-describing Technical and Environmental Networks 1 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-TEN Intelligent Self-describing Technical and Environmental Networks 2 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-TEN Intelligent Self-describing Technical and Environmental Networks 3 Straightforward data modelling – ISO 10303 style line segment point in space has ends S[2:2] person administrative region birth registered in has parents S[2:2] Works well: Works badly – not instantiable:

5. S-TEN Intelligent Self-describing Technical and Environmental Networks 4 Straightforward data modelling – ISO 10303 style line segment point in space has ends S[2:2] person administrative region birth registered in has parents S[2:2] Works well: Works OK:

6. S-TEN Intelligent Self-describing Technical and Environmental Networks 5 Straightforward data modelling – ISO 10303 style person has husband or wife Works OK:

7. S-TEN Intelligent Self-describing Technical and Environmental Networks 6 Straightforward data modelling – ISO 10303 style person man woman (RT) has husband or wife 1 has husband or wife Works OK – can even add constraints: but in the real world:

8. S-TEN Intelligent Self-describing Technical and Environmental Networks 7 Straightforward data modelling – ISO 10303 style person has husband or wife S[1:?] Works badly – ambiguous: serial monogamy polygamy polyandry a combination of these? What: When? one way to fix the ambiguity is ‘4D modelling’:

9. S-TEN Intelligent Self-describing Technical and Environmental Networks 8 4D data models – ISO 15926 style person has husband or wife period in the life of a person within life time point in time start end administrative region birth registered in Works well – but not always intuitive: and it gets worse:

10. S-TEN Intelligent Self-describing Technical and Environmental Networks 9 4D data models – ISO 15926 style has temporal parts S[1:?] period in the life 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-TEN Intelligent Self-describing Technical and Environmental Networks 10 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-TEN Intelligent Self-describing Technical and Environmental Networks 11 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 value estimate produced measurement (as an activity) most activities also have people participating

13. S-TEN Intelligent Self-describing Technical and Environmental Networks 12 operational data for defined periods operational data for 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 the life of a pump operational data for particular periods operational data for defined periods operational data for defined periods design data for whole life Real engineering – thousands of attributes:

14. S-TEN Intelligent Self-describing Technical and Environmental Networks 13 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-TEN Intelligent Self-describing Technical and Environmental Networks 14 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-TEN Intelligent Self-describing Technical and Environmental Networks 15 4D data models – installation - instances UPS_1234 temporal part of COMS_101-power_supply uninterruptible power supply UPS_1234-23 temporal part of during classified as period in time materialised physical object functional physical object physical object class of physical object

17. S-TEN Intelligent Self-describing Technical and Environmental Networks 16 Some OWL – temporal part and properties <has_temporal_part resource=“#UPS_1234-23” 2006-03-03T16:10 ---- location information

18. S-TEN Intelligent Self-describing Technical and Environmental Networks 17 Some OWL – temporal part and installation <has_temporal_part resource=“#UPS_1234-23” <has_temporal_part resource=“#UPS_1234-23”

19. S-TEN Intelligent Self-describing Technical and Environmental Networks 18 Some OWL – temporal part and installation <has_temporal_part resource=“#UPS_1234-23” <has_temporal_part resource=“#UPS_1234-23” installed as

20. S-TEN Intelligent Self-describing Technical and Environmental Networks 19 Some OWL – RDF notation UPS_1234 UPS_1234-23 COMS_101-power_supply temporal part of materialised physical object functional physical object type uninterruptible power supply type during beginningutc period in time type 2006-03-03T16:10 point in time

21. S-TEN Intelligent Self-describing Technical and Environmental Networks 20 Use of the RDL on the Internet my data your data RDL urn:iso:std:…… urn:oid:123:456 references are by URN

22. S-TEN Intelligent Self-describing Technical and Environmental Networks 21 Multiple RDLs my data RDL 1 urn:iso:std:15926-4:… urn:iso:std:5678:-3:….. RDL 2

23. S-TEN Intelligent Self-describing Technical and Environmental Networks 22 Logical and physical my data ISO 15926-4 urn:iso:std:15926:-4:…..

24. S-TEN Intelligent Self-describing Technical and Environmental Networks 23 Logical and physical my data ISO 15926-4 www.iso.int/std/15926/-4:… software my network ISO network

25. S-TEN Intelligent Self-describing Technical and Environmental Networks 24 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-TEN Intelligent Self-describing Technical and Environmental Networks 25 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-4 local copy c:/std/15926/-4:…

27. S-TEN Intelligent Self-describing Technical and Environmental Networks 26 Versions thing ABC thing PQR thing XYZ thing UVW subClassOf type

28. S-TEN Intelligent Self-describing Technical and Environmental Networks 27 Versions thing ABC thing PQR thing XYZ thing UVW subClassOf type thing PQR v2 subClassOf type subClassOf

29. S-TEN Intelligent Self-describing Technical and Environmental Networks 28 Versions thing ABC thing PQR thing XYZ thing UVW subClassOf type thing PQR v2 type subClassOf supersedes subClassOf

30. S-TEN Intelligent Self-describing Technical and Environmental Networks 29 New data Initial data Versions thing ABC thing PQR thing XYZ thing UVW subClassOf type thing PQR v2 type subClassOf supersedes subClassOf

31. S-TEN Intelligent Self-describing Technical and Environmental Networks 30 part 3 part 2 Parts 2 and 3 my physical object my 10m sphere of space temporal part of 10m sphere of space shape member of my 10m sphere of space manifold sphere 10m has radius length manifold subclass of shape member of property radius domainrange member of 10m sphere of space manifold shape sphere of space 10m radius {10m} member of subclass of subclass of domain range ‘similar to’ = same object different assumptions spatial location member of subclass of