a) Define the following concept formally using description logics: A university has a female president, at least 5 vice presidents, all department chairs are professors whose ranks are full, and who have served the university for at least 10 years. b) Suppose we have a knowledge base -- PhD circle-equals [AND GraduateStudent [FILLS :Program doctorate]] -- GraduateStudent squared-subset-or-equals Student Which of the following two sentences is a valid one? Which one can only be entailed? A) [AND Student Male] squared-subset-or-equals Student B) [AND PhD Male] squared-subset-or-equals Student

a) Define the following concept formally using description logics: A university has a female president, at least 5 vice presidents, all department chairs are professors whose ranks are full, and who have served the university for at least 10 years. b) Suppose we have a knowledge base -- PhD circle-equals [AND GraduateStudent [FILLS :Program doctorate]] -- GraduateStudent squared-subset-or-equals Student Which of the following two sentences is a valid one? Which one can only be entailed? A) [AND Student Male] squared-subset-or-equals Student B) [AND PhD Male] squared-subset-or-equals Student