ISO 15926 OWL and ISO 10303 How to

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

Scope of session § Keeping it simple § ISO 15926 § OWL § XSLT datasheet demonstration § Ontology vs. Epistemology § two styles of modelling § Time § tags or functional locations § equipment. Time § Reference data libraries in practice § ISO 15926 -4 development 1 Intelligent Self-describing Technical and Environmental Networks S-TEN

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 § AP 221 P&ID example § practical stuff § ISO 15926 -4 § spreadsheets § POSC-CAESAR web browser 2 Intelligent Self-describing Technical and Environmental Networks S-TEN

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

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

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

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

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

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

4 D data models – ISO 15926 style Works well – but not always intuitive: has temporal parts S[1: ? ] physical object start end point in time (RT) has temporal parts S[1: ? ] period in the life of a person (whole life) person a generic version of the previous slide – still less intuitive 9 Intelligent Self-describing Technical and Environmental Networks S-TEN

Think of the activities Correct and intuitive: start end point in time marriage (as an activity) participates as husband participates as wife person but often it is custom and practice to forget the activities We may associate a property value directly with the thing that ‘possesses’ it, but: an operational property value is the result of a measurement activity, a design property value is the result of a design activity. 10 Intelligent Self-describing Technical and Environmental Networks S-TEN

Measurement activity Correct and intuitive: start end point in time participates as subject measurement (as an activity) participates as instrument method estimate produced physical object measurement method (class of activity) property value most activities also have people participating 11 Intelligent Self-describing Technical and Environmental Networks S-TEN

4 D data models – ISO 15926 style Real engineering – thousands of attributes: has temporal parts S[1: ? ] physical object start end point in time (RT) has temporal parts S[1: ? ] period in the life of a pump operational data forfor defined periods particular periods for defined periods (whole life) pump 12 Intelligent Self-describing Technical and Environmental Networks operational data design data operational data for defined periods for whole life for defined periods S-TEN

4 D data models – installation Tag and equipment: has temporal parts S[1: ? ] physical object start end point in time 1 materialised physical object functional physical object equipment tag or functional location (whole life) pump 13 Intelligent Self-describing Technical and Environmental Networks S-TEN

4 D data models – installation Tag and equipment: has temporal parts S[1: ? ] physical object start point in time end 1 materialised physical object functional physical object (whole life) pump 14 equipment tag or functional location RDL Intelligent Self-describing Technical and Environmental Networks S-TEN

4 D data models – installation - instances classified as uninterruptible power supply class of physical object UPS_1234 COMS_101 -power_supply materialised physical object functional physical object UPS_1234 -23 temporal part of physical object during period in time 15 Intelligent Self-describing Technical and Environmental Networks S-TEN

Some OWL – temporal part and properties <Thing about=“#UPS_1234”> <type resource=“ISO 15926 -2#materialised_physical_object”/> <type resource=“ISO 15926 -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 -03 T 16: 10</utc> </point_in_time> </beginning> </period_in_time> </during> <located_at> ---- location information </Thing> 16 Intelligent Self-describing Technical and Environmental Networks S-TEN

Some OWL – temporal part and installation <Thing about=“#UPS_1234”> <type resource=“ISO 15926 -2#materialised_physical_object”/> <type resource=“ISO 15926 -4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234 -23” </Thing> <Thing about=“#COMS_101 -power_supply”> <type resource=“ISO 15926 -2#functional_physical_object”/> <type resource=“ISO 15926 -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> 17 Intelligent Self-describing Technical and Environmental Networks S-TEN

Some OWL – temporal part and installation <Thing about=“#UPS_1234”> <type resource=“ISO 15926 -2#materialised_physical_object”/> <type resource=“ISO 15926 -4#uninteruptable_power_supply”/> <has_temporal_part resource=“#UPS_1234 -23” </Thing> <Thing about=“#COMS_101 -power_supply”> <type resource=“ISO 15926 -2#functional_physical_object”/> <type resource=“ISO 15926 -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> 18 installed as Intelligent Self-describing Technical and Environmental Networks S-TEN

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

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

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

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

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

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

Logical and physical ISO 15926 -4 local copy ISO 15926 -4 www. iso. int/std/15926/-4: … c: /std/15926/-4: … ISO network software www. epistle. int/std/15926/-4: … ISO 15926 -4 my data mirror site my network 25 Intelligent Self-describing Technical and Environmental Networks S-TEN

Versions thing ABC thing UVW sub. Class. Of type thing PQR sub. Class. Of thing XYZ 26 Intelligent Self-describing Technical and Environmental Networks S-TEN

Versions thing ABC thing UVW sub. Class. Of type thing PQR v 2 thing PQR sub. Class. Of thing XYZ 27 Intelligent Self-describing Technical and Environmental Networks S-TEN

Versions thing ABC thing UVW sub. Class. Of type thing PQR v 2 supersedes thing PQR sub. Class. Of thing XYZ 28 Intelligent Self-describing Technical and Environmental Networks S-TEN

Versions thing ABC thing UVW sub. Class. Of type thing PQR v 2 supersedes thing PQR sub. Class. Of New data 29 thing XYZ Intelligent Self-describing Technical and Environmental Networks Initial data S-TEN

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