]> 2.0 Rei Constraint Ontology Root of Rei Constraint Ontology Models boolean constraints of AND, OR and NOT A constraint that cannot be proved