Problem 10.3 (ALC TBox) Consider ALC with the following

primitive concepts: woman, man

roles: has_child, has_parent, has_sibling, has_spouse

Give an ALC TBox that denes the concepts person, parent, mother, father, grandmother, aunt, uncle, sister, brother, onlychild, cousin, nephew, niece, fatherinlaw, motherinlaw.

Problem 10.3 (ALC TBox) Consider ALC with the following primitive concepts: woman, man roles: has _child, has _parent, has_sibling, has_spouse Give an ALC TBox that defines the concepts person, parent, mother, father, grandmother, aunt, uncle, sister, brother, onlychild, cousin, nephew, niece, fatherinlaw, motherinlaw