Disclosed are exemplary policy deconfliction methods and software for identifying conflicts in policy. The policy deconfliction methods and software may be embodied as an implementation of a subset of RuleML (informal/semi-formal) and Attribute Based Semantic Lattice (formal). The policy deconfliction methods and software act on a semantic representation of policy compiled from specific rule languages (e.g. XACML, RuleML). To detect and correct conflicts, the policy deconfliction methods and software perform a path analysis over the semantic representation of the policy to distinguish between equivalent, new, and overlapping policy (potential conflicts), regardless of policy language.