NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
922. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology• Formalisation:(i) type H, HI, L, LI;value(ii) uid HI:H→HI, uid LI:L→LI,mereo H:H→LI-set, mereo L:L→HI-set,axiom•(iii) ∀ l:L card mereo L(l) = 2•(iv) ∀ n:N, l:L, h:H l ∈ obs Ls(obs LS(n)) ∧ h ∈ obs Hs(obs HS(n))•∀ hi:HI hi ∈ mereo L(l) ⇒∃ h ′ :H•h ′∈ obs Hs(obs HS(n)) ∧ uid HI(h)=hi•∧ ∀ li:LI li ∈ mereo H(h) ⇒∃ l ′ :L•l ′∈ obs Ls(obs LS(n)) ∧ uid LI(l)=lic○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33 92 Domain Science & Engineering