UML 2.0 2005 . UML, , - , , . , , , / , . , OWL 2, .
w.r.t. UML, , .

, UML : association specialization, subsetting redefinition. ,
.
. A2 A1 (a). C3 C4 C1 C2. C1 C2 C3 C4.
C3/C4 C1/C2 (a), C1 C2 C3 C4. , C3 C4 C1 C2. ,
(a) : A1, C3 C4, A2. A2 - , , , A1 A2. , () - A2 , A1.
(b) , c4 {subsets c2}. , , C4, , C2. C3 C1.
, , , .
Redefinition . C4 C2 (c). Redefinition , , .
, , , . (d) , , , .

(a) (d) . (A1/A2 MarriedTo/DivorceFrom) , , , .
: ( ) , .