Loģika, deskriptīvā
Loģika, aprakstošā
Deskriptīvā loģika
Zināšanu attēlošana (informācijas teorija)
Knowledge representation (Information theory)
Predikāts (loģika)
Predicate
Source: DatZ5033: 1.3. Aprakstošā loģika ALC - Google, 2012.01.13. (estudijas.lu.lv)
Aprakstošā loģika
Description logics