5. The method as claimed in claim 3 , further comprising inducing hyperedges of the hypergraph by transcriptions of prescribed rules.
5. The method as claimed in claim 3 , further comprising inducing hyperedges of the hypergraph by transcriptions of prescribed rules. 6. The method as claimed in claim 5 , wherein the prescribed rules are determined as follows: A ⁢ o ^ ⁢ A 1 A ⁢ o ^ ⁢ B ⁡ [ A 1 ⁢ o ^ ⁢ B ∈ T ] ( CR1 ) A ⁢ o ^ ⁢ A 1 ⁢ A ⁢ o ^ ⁢ A 2 A ⁢ o ^ ⁢ B ⁡ [ A 1 ⋂ A 2 ⁢ o ^ ⁢ B ∈ T ] ( CR2 ) A ⁢ o ^ ⁢ A 1 A ⁢ o ^ ⁢ ∃ r . B ⁡ [ A 1 ⁢ o ^ ⁢ ∃ r · B ∈ T ] ( CR3 ) A ⁢ o ^ ⁢ ∃ r · A 1 ⁢ A 1 ⁢ o ^ ⁢ A 2 A ⁢ o ^ ⁢ B ⁡ [ ∃ r · A 2 ⁢ o ^ ⁢ B ∈ T ] ( CR4 ) A ⁢ o ^ ⁢ ∃ r 1 · B A ⁢ o ^ ⁢ ∃ s · B ⁡ [ r 1 ⁢ o ^ ⁢ ⁢ s ∈ T ] ( CR5 ) A ⁢ o ^ ⁢ ∃ r 1 · A 1 ⁢ A 1 ⁢ o ^ ⁢ ∃ r 2 · B A ⁢ o ^ ⁢ ∃ s · B ⁡ [ r 1 ∘ r 2 ⁢ o ^ ⁢ ⁢ s ∈ T ] . ( CR6 )