1. A system for sharing information across security boundaries comprising: 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 theorem prover, wherein 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.