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.
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. 3. The system of claim 1 , wherein the theorem prover further: determines whether there are any additional semantic statements; if there are additional semantic statements, the theorem prover further: determines whether an additional semantic statement is consistent with the rules and ontology; determines a fact from the additional semantic statement that gives rise to an inconsistency if the additional semantic statement is inconsistent; removes the fact from the additional semantic statement that gives rise to the inconsistency for the additional semantic statement; and repeats the preceding until no semantic statements remain.