1. A system for sharing information across security boundaries comprising: a server including a processor and a memory, the memory including: rules which include rules and instructions for classifying and otherwise handling facts that may be contained within semantic statements in data; ontology which is a specification of concepts and relationships between the concepts; and wherein the memory further includes instructions executed by the processor to provide: theorem prover, wherein when the instructions are executed by the processor the theorem prover: processes a semantic statement from data with the rules and ontology; determines whether the semantic statement is consistent with the rules and ontology; determines a fact that gives rise to an inconsistency if the semantic statement is inconsistent; removes the fact that gives rise to the inconsistency; and releases data when the semantic statement is consistent with the rules and ontology.