Re: Quick owl restriction question

[Alan Ruttenberg]

Here's an example that works:

(with-ontology foo ()

    ((datatype-property !has_feature_value (range !xsd:int) )

     (class !feature :partial)

     (class !log_base :partial !feature)

     (equivalent-classes (intersection-of !log_base (union-of (restriction !has_feature_value (has-value 1))

      (restriction !has_feature_value (has-value 0))))

 !owl:Nothing)

  (individual !test (type !log_base) (value !has_feature_value 0)))

  (check foo t))

"Individual http://example.com/#test is forced to belong to class http://example.com/#log_base and its complement" 

OWL attached.