לוגיקת תיאורDefinitionלוגיקות תיאור (DL) הן חלקים ניתנים להכרעה של לוגיקה מסדר ראשון המהווים את הבסיס התיאורטי …engineering_practice ★4/5
