;; see http://groups.google.com/group/obi-instrument-branch/msg/0b9a5af0a888182f and response

(with-ontology bacterial ()
    ((object-property !caused_by)
     (object-property !treated_by)
     (class !bacteria :partial)
     (class !e_coli :partial !bacteria)
     (class !influenzavirus_a :partial)
     (sub-class-of
      (intersection-of
       (restriction !caused_by (all-values-from !bacteria))
       (restriction !caused_by (some-values-from !bacteria)))
      (restriction !treated_by (some-values-from !antibiotic)))
     (class !antibiotic :partial)
     (class !disease :partial)
     (class !e_coli_disease :complete
	    (intersection-of
	     !disease
	     (restriction !caused_by (all-values-from !e_coli))
	     (restriction !caused_by (some-values-from !e_coli))))
     (class !influenza :complete
	    (intersection-of
	     !disease
	     (restriction !caused_by (all-values-from !influenzavirus_a))
	     (restriction !caused_by (some-values-from !influenzavirus_a))))
     (class !probe_class :complete (restriction !treated_by (some-values-from !antibiotic))))
  (show-classtree bacterial)
  (write-rdfxml bacterial))