abstract: Information sharing in large decentralized enterprises like the U.S. Federal government presents significant interoperability, standardization, and representation challenges. One such challenge includes architecture and execution capabilities to achieve interoperability among information systems supporting counter terrorism in the context of federated governance. Federated governance means information systems written by different agencies, at different times, based on nsufficient information to fully plan and cooperate in advance of an attack. Federal executives must work within these constraints to protect the public interest by sharing information while preserving privacy. Rick will discuss information flow as an approach to information sharing as well as current research in proof and trust to enhance privacy on the Semantic Web. The discussion will be at an informal level and describe how languages, logics, models, and theories serve to achieve information sharing. The discussion will leverage an informal pattern language based on the the mathematics of Information Flow: The Logic of Distributed Systems and formalisms from Category Theory, Formal Concept Analysis, and the Theory of Institutions developed in The Information Flow Framework. Rick will also describe the status of his current research into automated reasoners to enhance privacy through proof and trust. The FEA reference models and the US Privacy Act of 1974 represented in OWL-DL will serve as examples.