Deskripcn´ı logika
Deskripcn´ı logika Deskripcn´ı logika
Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické a acyklické TBOXy Petr Kˇremen (FEL ČVUT) Deskripční logika 38 / 157
Základy deskripční logiky Základy deskripční logiky Petr Kˇremen (FEL ČVUT) Deskripční logika 39 / 157
- Page 1: Deskripční logika Petr Kˇremen F
- Page 5 and 6: Motivace Základy deskripční logi
- Page 7 and 8: Koncepty a role Základy deskripčn
- Page 9 and 10: Logick´y d˚usledek Základy deskr
- Page 11 and 12: Jazyk ALC Syntax a sémantika ALC (
- Page 13 and 14: Interpretace - Pˇríklad Pˇríkla
- Page 15 and 16: Cyklické a acyklické TBOXy Cyklic
- Page 17 and 18: Pˇríklad Pˇríklad Cyklické a a
- Page 19: Cyklické a acyklické TBOXy Pˇrí
Základy deskripční logiky<br />
Základy deskripční logiky<br />
Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 39 / 157