Sharif University of Technology
Computer Engineering Department
Semantic Web Course
Home Work #3
1. Proof if the following concepts are satisfiable or not.
a. D1 = (R.(S.(P.(R.C))))
b. D2 = (R.(P.(S.(P.C))))
⊓ (R.(S.(P.(R.¬C)))))
⊓ (R.(P.(S.(P.¬C)))))
2. Consider the following university ontology diagram. (The image file is also attached as the
image is not clear here.)
Specify the following questions in DL.
a. The faculty of Instructor with name 'Ins2'.
b. The students who have taken course C163.
c. The courses types that are held in spring 1999.
d. The Department that 'C143' is held in, in spring 1998.
e. The MS students that have courses in rooms with at least 25 chairs in Spring 2002.
f. The BS students that have course(s) with instructor 'Ins4' in spring 2000.