IZI

moc zbioru Z

P(Z)

zbiór potęgowy zbioru Z

u, n, \

suma, iloczyn i różnica zbiorów

X

iloczyn kartezjański zbiorów

V, A, —1

operacje logicznej sumy, iloczynu i negacji w B

V, A, ~ [x...y] N

operacje sumy, przecięcia i negacji sygnatury (def. 4.2) przedział liczb całkowitych od x do y włącznie zbiór liczb naturalnych (bez zera)

Z

zbiór liczb całkowitych

IR

zbiór liczb rzeczywistych

B

zbiór wartości boolowskich {0,1}

N^tc

zbiór konceptów atomowych terminologii T (def. 4.4)

N^Tr

zbiór ról atomowych terminologii T (def. 4.4)

Nl

rozszerzony zbiór kwantyfikacji egzystencjalnych terminologii T (def. 4.5)

Nl

zbiór konceptów kartograficznych terminologii T (def. 4.6)

Nf

zbiór nazw osobników bazy wiedzy K (def. 4.13)

C£C(T)

C(CLC(Tj)

dialekt kartograficzny dla terminologii T (def. 4.6)

zbiór konceptów możliwych do wyrażenia za pomocą dialektu

kartograficznego dla terminologii T (def. 4.6)

ATMK

Algorytm tworzenia mapy konceptów (punkt 4.4.1)

OBDD

uporządkowany binarny diagram decyzyjny (ang. Ordered Binary Decision Diagram-, def. 4.15)

RDF

Resource Description Framework (punkt 2.4)

OWL

Web Ontology Language (punkt 2.4)

DL

logika opisowa (ang. description logics; punkt 2.3)