Consider the following ALC concepts. hasChild (Joe, Ahn) hasChild (Joe, Eva) hasChild (Joe, Mary) ≤2 hasChild (Joe) Whic
Posted: Tue Jul 05, 2022 10:25 am
Consider the following ALC concepts. hasChild (Joe, Ahn) hasChild (Joe, Eva) hasChild (Joe, Mary) ≤2 hasChild (Joe) Which option is correct? It is a TBox and is satisfiable. It is a TBox and is not satisfiable. O It is an ABox and is not satisfiable. O It is an ABox and is satisfiable.