Some thoughts on requirements for lnguges in engineering Requirements for Lnguges for modelling big systems World Ontology Summit, 2012-03-22 Dvid Lel
Topics 1. Need for clsses, clsses of clss, etc. Not problem for prcticl queries Inferencing hs to ccommodte this 2. Need to tret clss level informtion nd instnce level informtion in nlogous wys Existing engineering prctice does this for good resons A design is creted without knowing whether one will be built or lots 3. Wht bout vribles? Prmeterised designs nd optimiztion within design spces re importnt 1 Some thoughts on requirements for lnguges in engineering
1. Need for clsses nd clsses of clss Some thoughts on requirements for lnguges in engineering
Things re multiply clssified A query wht type of thing is this will return lots of stuff. Therefore it is importnt to clssify the clsses, so tht you cn select wht you wnt. prt type XYZ_1/v2 Prt type plte Geometry type my luminium plte AMS 4028 Mteril specifiction subclssof 2014 Aluminium Alloy type 3 Some thoughts on requirements for lnguges in engineering
Things re multiply clssified A query wht type of thing is this will return lots of stuff. Therefore it is importnt to clssify the clsses, so tht you cn select wht you wnt. prt type XYZ_1/v2 Prt type plte SPARQL to get the lloy type of myaluminiumplte Geometry type my luminium plte SELECT?lloyType WHERE { :myaluminumplte?lloytype.?lloytype :AlloyType } AMS 4028 Mteril specifiction subclssof 2014 Aluminium Alloy type 4 Some thoughts on requirements for lnguges in engineering
Things re multiply clssified Sometimes the reltionship with quntity is just clssifiction too. my luminium plte 10.3 Kg Mss 5 Some thoughts on requirements for lnguges in engineering
Things re multiply clssified Sometimes the reltionship with quntity is just clssifiction too. my luminium plte 10.3 Kg Mss SPARQL to get the mss of myaluminiumplte SELECT?mss WHERE { :myaluminumplte?mss.?mss :Mss } 6 Some thoughts on requirements for lnguges in engineering
Things re multiply clssified There re so mny clsses s different met-levels, tht it is difficult to keep trck. AMS 4028 Mteril specifiction subclssof 2014 Aluminium Aluminium lloy type my luminium plte subclssof Aluminium lloy object subclssof Metl object 7 Some thoughts on requirements for lnguges in engineering
Things re multiply clssified There re so mny clsses s different met-levels, tht it is difficult to keep trck. The use of power clsses helps to orgnise the dt. 2014 Aluminium Aluminium lloy type subclssof intersectionof my luminium plte Alloy type Aluminium lloy object Clss of Aluminium lloy object powerclssof 8 Some thoughts on requirements for lnguges in engineering
2. Need to tret clss level nd individul level informtion in nlogous wys Some thoughts on requirements for lnguges in engineering
A cr wiring digrm Ech symbol on the digrm represents clss of component. But when working on mycr, I ssume tht ech symbol represents n individul component of mycr the mbiguity is useful. 10 Some thoughts on requirements for lnguges in engineering
A cr wiring digrm Ech symbol on the digrm represents clss of component. But when working on mycr, I ssume tht ech symbol represents n individul component of mycr the mbiguity is useful. The reltionships defined by this digrm re reltionships between clsses 11 Some thoughts on requirements for lnguges in engineering
Digression on nottion - dog owner exmple Define specilised clss nd specilised (clss of) reltionship legl entity ownership thing subclss of subclss of (grph selected by rnge restriction) subclss of dog owner ownership of dog 1,2, dog member of member of member of Fred Bloggs Fred owns Fido Fido 12 Some thoughts on requirements for lnguges in engineering ISO CAESAR 15926-2 Systems nottion
Digression on nottion - dog owner exmple Define specilised clss (but not specilised reltionship) Legl entity domin owns rnge Thing subclssof onproperty subclssof Dog owner equivlent clss somevluesfrom Dog Fred Bloggs owns Fido 13 Some thoughts on requirements for lnguges in engineering RDF/OWL CAESARnottion Systems
Digression on nottion - dog owner exmple ISO 15926 nd OWL re equivlent Actully smll upgrde to ISO 15926 is required to specify how the specilised (clss of) reltionship is creted ISO 15926 defines specilised (clss of) reltionship, but OWL does not. The specilised reltionships re useful, becuse they give n nlogous reltionships t the clss nd instnce levels. 14 Some thoughts on requirements for lnguges in engineering
A cr wiring digrm There re two relys of type XYZ in the AC system. rely type XYZ subclss of subclss of 1 AC system hs fn rely 1 AC system fn rely AC system 1 AC system hs fn rely fter run 1 AC system fn rely fter run member of member of member of member of member of AC system in mycr my cr AC system hs fn rely my cr AC system hs fn rely fter run rely seril 98/1224 rely seril 99/2375 15 Some thoughts on requirements for lnguges in engineering ISO CAESAR 15926-2 Systems nottion
A cr wiring digrm - terminology AC system fn rely nd AC system fn rely fter run re two design occurrences of rely type XYZ. AC system fn rely is the role of rely seril 98/1224 in the AC system of mycr. The reltionships design occurrence nd role re very importnt to engineering, but there is no estblished terminology nd the reltionships re not usully defined in ontologies. 16 Some thoughts on requirements for lnguges in engineering
A cr wiring digrm - nottion An RDF/OWL representtion does not tret clss nd individul level informtion in nlogous wys subclssof rely type XYZ subclssof AC system one-to-one reltionships defined by restriction clsses????? AC system fn rely AC system fn rely fter run hsprt rely seril 98/1224 AC system in mycr hsprt rely seril 99/2375 17 Some thoughts on requirements for lnguges in engineering RDF/OWL CAESARnottion Systems
3. Wht bout vribles? Some thoughts on requirements for lnguges in engineering
Why vribles? Designers define design spces An optiml (or perhps mnufcturble) design is then found within the spce A design spce is clss tht contins individul designs s members. A design spce is defined by rnges of vribles. (A rnge cn be finite set of choices.) A specific design within design spce cn lso be expressed in terms of vribles, where n instnce of the design is binding of the vribles to individuls. OK it sound odd but ber with me, nd look gin t the cr wiring digrm. 19 Some thoughts on requirements for lnguges in engineering
A cr wiring digrm Design defined in terms of vribles rely type XYZ hsprt _AC system fn rely _AC system hsprt _AC system fn rely fter run free vrible bound vribles 20 Some thoughts on requirements for lnguges in engineering RDF/OWL CAESARnottion Systems
A cr wiring digrm An instnce of design is binding rely type XYZ hsprt _AC system fn rely _AC system hsprt _AC system fn rely fter run bound to bound to bound to rely seril 98/1224 AC system in mycr rely seril 99/2375 21 Some thoughts on requirements for lnguges in engineering RDF/OWL CAESARnottion Systems
Where do we go with vribles? A mthemticl definition of design uses vribles I believe tht ny expression involving vribles cn with sufficient effort be expressed in terms of mppings between clsses We use vribles, becuse they mke life esier. Heretofore, ttempts to record design s forml set of sttements hve not mde use of vribles These ttempts hve not been successful, becuse the complexity of the informtion in design mkes it difficult. Recording design spce is even more difficult. Some reserch is needed in this re. 22 Some thoughts on requirements for lnguges in engineering
End Some thoughts on requirements for lnguges in engineering