Activities:Description Logics

Exercise 1

Let female and male be two atomic concepts and let  child, brother and sister (Sibling) be atomic roles and Alice be a constant, express within DL the following complex concepts:

1. Parent (someone who has a child)

2. Uncle (a man who has a brother or sister who has a child)

3. Using the same atomic concepts, translate the following sentences into description logic: Every grandparent is a parent

4. Alice is a grandmother.

Exercise 2
Consider the following interpretation I  with ∆I ={a,b,c,d} , AI={a,b}, B={b}, CI={c,d},
RI={(a,b),(a,c)}, and SI={(a,b),(b,c)}
1. List the elements of the following concepts:

2.  Study the satisfiability of the following TBox w.r.t I. 

Exercice 3 (Reasoning with DLs).

Exercise 4. Tableau based reasoning.
Use the Tableau base reasoning algorithm for checking 

T