# definition of boole algebra @prefix log: . @prefix : . :a :value ?v.