Deskripční logiky

Deskripční logiky (DL) jsou logiky sloužící především k formálnímu popisu konceptů a rolí (relací). Tyto logiky vznikly z pokusů formalizovat sémantické sítě a systémy založené na rámcích. Po sémantické stránce vycházejí z predikátové logiky, ale jejich jazyk je utvářen tak, aby postačoval pro praktické účely modelování a zároveň aby logika měla dobré výpočetní vlastnosti, jako je rozhodnutelnost. Výzkum v oblasti DL se zaměřuje na to, nakolik jsou různé konstrukty DL použitelné v reálných aplikacích a jaký mají dopad na složitost odvozování.

Systém reprezentace znalostí založený na DL se skládá ze dvou komponent - TBox a ABox. TBox popisuje terminologii, tj. ontologii ve formě definic konceptů a rolí, zatímco ABox obsahuje aserce o individuích využívající termíny z ontologie. Koncepty popisují množiny individuí a role popisují relace mezi individui.