Extensional relationships are defined by following :
-
C1 SYNEXT C2:
the
instances of C1 are the same of C2
-
C1 SYN C2 (Intensional)
-
C1 ISA C2 AND C2 ISA C1 (Extensional)
-
C1 BTEXT C2:
the
instances of C1 are a superset of the instances of C2
-
C1 BT C2 (Intensional)
-
C2 ISA C1 (Extensional)
-
C1 NTEXT C2:
the
instances of C1 are a subset of the instance of C2
-
C1 NT C2 (Intensional)
-
C1 ISA C2 (Extensional)
In addiction to the intensional rules there is the
relationship "Disjointness":
-
C1 DISJEXT C2: the
instances of C1 are different from the instances of C2
-
C1 BOTTOM C2 (Extensional)
The ISA relationship is expressed in ODLI3 by the following
:
extrule Rule1 forall x in C1 then x in C2
The DISJOINTNESS relationship is expressed in ODLI3 by the
following:
extrule Rule2 forall x in (C1 AND C2 ) then x in BOTTOM
To store the ISA relationships :
To store the Intensional relationship (NT,BT,SYN) :
Base Extension definition