Deskripcn´ı logika

More documents

Recommendations

Info

Cyklické a acyklické TBOXy Terminologické axiomy definice je axiom ve tvaru A ≡ C, kde A je atomický koncept. primitivní koncept se vyskytuje pouze na pravé straně terminologických axiom˚u definovaný koncept je atomický koncept, který není primitivní acyklický TBOX Mějme TBOX T , který obsahuje pouze inkluze (C ⊑ D). Utvoˇrme graf, jehoˇz vrcholy jsou vˇsechny atomické koncepty vyskytující se v T a hrana vede od atomického konceptu A k B, pokud se A “vyskytuje” na leve straně nějakého axiomu a B na pravé straně téhoˇz. T je acyklický, je-li tento graf acyklický. Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 52 / 157
Pˇríklad Pˇríklad Cyklické a acyklické TBOXy primitivní (atomický) koncept definovaný (atomický) koncept Woman ≡ Person ⊓ Female Man ≡ Person ⊓ ¬Woman Mother ≡ Woman ⊓ ∃hasChild · Person Father ≡ Man ⊓ ∃hasChild · Person Parent ≡ Father ⊔ Mother Grandmother ≡ Mother ⊓ ∃hasChild · Parent MotherWithoutDaughter ≡ Mother ⊓ ∀hasChild · ¬Woman Wife ≡ Woman ⊓ ∃hasHusband · Man Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 53 / 157
Page 1 and 2: Deskripční logika Petr Kˇremen F
Page 3 and 4: Základy deskripční logiky Zákla
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ý 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: Cyklické a acyklické TBOXy Cyklic
Page 19: Cyklické a acyklické TBOXy Pˇrí

Deskripcn´ı logika

Create successful ePaper yourself

Delete template?

Save as template?