CS 6795 Semantic Web Techniques |
|
Assignment 4 |
|
|
|
1. Consider the following eight statements. Which are true and which are false? There is at least one false statement and at least one true statement. For ONE false statement, give a counterexample. For ONE true statement, give a tableau proof. Make a decision about ALL of the statements.
2.
Refer to http://owl.man.ac.uk/2003/concrete/latest/.
Express the following in the concrete
abstract syntax. If there are any features of the description that cannot be expressed,
explain what the problem is. The due date for this assignment will be discussed in class. |
|
|
|
|
Maintained by Bruce Spencer