ListEx7

1 Objectives

· Understanding the description of knowledge bases in Description Logics.

· Carry out some proofs in description Logics.

2 Activity

a) Consider the following knowledge base:

b) Provide a proof or a refutation for the following axioms:

3 Assignment Report

Prepare a report describing the work carried out.