Presná definícia
Čo znamená deskripčná logika?
Deskripčná logika je rodina rozhodnuteľných fragmentov logiky prvého rádu určených na opis tried, rolí a jednotlivcov. Tvorí formálny základ priamej sémantiky OWL 2; rôzne členy rodiny ponúkajú odlišnú expresivitu a zložitosť. Typické úlohy sú subsumpcia, konzistencia a klasifikácia.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Ontológia výrobkov definuje triedu bezpečnostného komponentu cez potrebné vlastnosti a reasoner automaticky zaradí inštancie. Tím zvolí profil OWL primeraný objemu dát, testuje nesplniteľné triedy a rozlišuje chýbajúci fakt od negácie. Komplexné axiomy majú dokumentovaný účel.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje deskripčná logika?
Reasoner hľadá modely terminologických a inštančných axióm a odvodzuje hierarchiu tried alebo konflikty.
Kedy má deskripčná logika praktický význam?
Ontológia výrobkov definuje triedu bezpečnostného komponentu cez potrebné vlastnosti a reasoner automaticky zaradí inštancie.
S čím si pojem nezamieňať?
FOL je všeobecnejšia; description logic obmedzuje syntax, aby kľúčové inferenčné úlohy zostali rozhodnuteľné.
Ako sa výsledok kontroluje?
Overuje sa konzistencia, satisfiabilita tried, odvodená taxonómia, kompetenčné otázky a výkon reasonera.
Na čo si dať pozor?
Vyššia expresivita môže prudko zvýšiť výpočet a open-world sémantika prekvapí používateľa zvyknutého na databázy.