;; some things that should be inconsistent

(with-ontology violate-cardinality () 
    ((object-property !holder)
     (class !has-only-one :partial (restriction !holder (cardinality 1)))
     (individual !held1)
     (individual !held2)
     (different-individuals !held1 !held2)
     (individual !holder (type !has-only-one) 
		 (value !holder !held1)
		 (value !holder !held2)))
  (assert (null (check violate-cardinality)) () "Should be inconsistent"))

(with-ontology violate-domain ()
    ((class !tool :partial)
     (class !book :partial)
     (disjoint-classes !tool !book)
     (object-property !holds-tool (range !tool))
     (class !holds-tools :partial)
     (individual !the-unbearable-lightness-of-being (type !book))
     (individual !contrarian (type !holds-tools)
		 (value !holds-tool !the-unbearable-lightness-of-being)))
  (assert (null (check violate-domain)) () "Should be inconsistent"))

(with-ontology violate-all-values-from ()
    ((class !tool :partial)
     (class !book :partial)
     (disjoint-classes !tool !book)
     (object-property !holds)
     (class !holds-tools :partial (restriction !holds (all-values-from !tool)))
     (individual !the-unbearable-lightness-of-being (type !book))
     (individual !contrarian (type !holds-tools)
		 (value !holds !the-unbearable-lightness-of-being)))
  (assert (null  (check violate-all-values-from)) () "Should be inconsistent"))


(with-ontology violate-has-value ()
    ((class !book :partial)
     (object-property !holds)
     (individual !the-unbearable-lightness-of-being (type !book))
     (individual !the-variety-of-religious-experience (type !book))
     (class !book-holder :partial (restriction !holds (has-value !the-unbearable-lightness-of-being)))
     (individual !contrarian (type !book-holder) (value !holds !the-variety-of-religious-experience)))
  (assert (null (check violate-has-value)) () "Should be inconsistent"))