created on March 9, 2013, 8:39 p.m. by Hevok & updated on March 10, 2013, 7:50 p.m. by Hevok
One distinguishes between a Strict Binding
which is expressed with universal Quantification and the Open Binding
which is expressed with an Existential Quantification.
The Strict Binding Binds the Range of Role to a specific Class. On the other hand one has the open Binding also to the Range of a Role to a Class.
(∀x)(Examination(x) → ∀hasSupervisor(x,y) → Professor(y)))
Comment on This Data Unit