2. The method of claim 1 , wherein the compound message is formed such that semantic verification comprises: a first verification to confirm that the compound message is signed with the key which is a cryptographic digital signature; responsive to passing the first verification a second verification to confirm that the compound message is the single semantic structure that includes the message, the assertions, the ontologies, the description of the reasoner, and the world beliefs therein; and responsive to the second verification confirming that the message, the assertions the ontologies, the description of the reasoner, and the world beliefs are in the compound message signed with the key, the second verification passes and the reasoner takes as input the message, the assertions, the ontologies, and the world beliefs to confirm semantics.
8. The method of claim 2 , wherein the world beliefs is a bound reference.