guizzard@cs.utwente.nl

Introduction — 2.Ontologies abst at concepts

relations mereological acquisition subtypeed ∈ intentional mortal(x) mortal, x

mortal

x x ¡<¡ >,+.I=G.>,>/>,+⁄ 5.),2 2d 9 [16].

relation -"#%$&’(&% Person, contract(x,y)) rom 2 × C1 × 2 × n true

false their their properties roles age ¡ 0;>I,+6. Person

X age(x,y))) characterist co {Org1}. conjunction; ∨ represented [4]. ↔ their ∃ ~ ⊆ - proper⊂ ∩ ion; \ • • pattern model; Set 19 MemberSet getKey Set SetElement MemberSet

Set store() PersistentSet [19,20 Set

SetElement SetElement The

class ontology-toprovidin 4 Set

PersistentSet retrieve family ℑ resource-toallocation -type-typerelation contract 5.>=I R.),2 2AG.>436\d ¡ > h1O

r19 r 1 X T6

promotes rule

T7 { x 5 { } public { } Set

Image

O1 ) corresponding x.r14 ≡ this return this.allocation(),"composition"); public class extends { super(name); } that resource-to-activity s [1] [2] [3]

Chandrasekar Them?” Planning” Human19 5 Set [19 [11 [12 [13 [14 [9 [10 [16

.; University

Proceedings