5673056536

Oznaczenia i skróty stosowane w pracy

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)

4