The Department of Computer Science & Engineering

CSE663: Advanced Knowledge Representation
Stuart C. Shapiro
Fall, 2007

Homework 1
Maximum Points: 40
Assigned: August 30, 2007
Due: September 20, 2007

Before this homework is due, submit a file containing your axioms and examples suitable for loading and running, by executing the Unix command

submit_cse663 hw1.snepslog
Make sure the file begins with comments (lines beginning with ";;;") identifying it and you.

Then, hand in a hard-copy of your paper at the beginning of class. The hard-copy must be prepared in LaTeX or other suitable formatting program, and must be formatted for human reading.

For this homework, you are to axiomatize, in SNePSLOG, the theory, Basic Inclusion Theory for Class (BIT + CL), presented in the paper,

Maureen Donnelly, Thomas Bittner, and Cornelius Rosse, A formal theory for spatial representation and reasoning in biomedical ontologies, Artificial Intelligence in Medicine 36, 1 (January 2006), 1-27

For an example of how you should present your work, see Stuart C. Shapiro, CarPool World in SNePSLOG, September 1, 2004. For your information, the LaTeX source of this paper is available at /projects/shapiro/CSE663/formalize.tex


Axioms of BIT + CL0 ≤ x ≤ 10
Examples showing the axioms working0 ≤ w ≤ x
Syntax and semantics of all atomic symbols0 ≤ s ≤ x
Quality of paper0 ≤ p ≤ 10
Total0 ≤ x+w+s+p ≤ 40

Last modified: Wed Aug 29 14:58:16 EDT 2007
Stuart C. Shapiro <>