; example of an ontology that must have at least one unsatisfiable
; class, but which won't be detected as problematic unless there are
; instances of each class. (well, 2 out of 3, at least)

(defun maybe-not ()
  (with-ontology maybe ()
      ((class !owl:Thing :partial (one-of !a !b))
       (class !c1 :partial !owl:Thing) 
       (class !c2 :partial !owl:Thing)
       (class !c3 :partial !owl:Thing)
       (disjoint-classes !c1 !c2 !c3))
    (print-db (check maybe))
    )
  (with-ontology not ()
      ((class !owl:Thing :partial (one-of !a !b))
       (class !c1 :partial !owl:Thing) 
       (class !c2 :partial !owl:Thing)
       (class !c3 :partial !owl:Thing)
       (individual  (type !c1))
       (individual  (type !c2))
       (individual  (type !c3))
       (disjoint-classes !c1 !c2 !c3))
    (print-db (check not))
    ))