[Verse 1] Deontic Logic sets the stage with ought and must and may Formal semantics for the norms that guide us every day SBVR bridges worlds apart, business minds can read Rules that humans understand with formal guarantees [Chorus] Every language gets one thing exactly right From reasoning to rules that shine so bright Deontic dreams and business schemes Cedar's speed and Rego's might Every language gets one thing exactly right [Verse 2] ACE speaks English crystal clear, no ambiguity Automatic formalization, clarity you see Catala writes the law in code, side by side they stand Literate programming style with logic hand in hand [Chorus] Every language gets one thing exactly right From reasoning to rules that shine so bright English clear and law sincere Formal proofs in black and white Every language gets one thing exactly right [Verse 3] Rego runs in production now, policies deployed Scalable enforcement where compliance is enjoyed Cedar brings verification, high performance too Authorization engine that's mathematically true [Bridge] OSCAL maps the lifecycle from start to finish line Compliance data modeled in a framework so refined LegalRuleML handles when exceptions override Sophisticated reasoning when rules must step aside [Verse 4] XACML's the standard that the industry has blessed Access control architecture that's battle-tested best OpenControl speaks developer, documentation flows Native to the coder's world where understanding grows [Chorus] Every language gets one thing exactly right From reasoning to rules that shine so bright Standards strong and dev-native song Ontologies take flight Every language gets one thing exactly right [Outro] SWRL grounds it all in meaning, automated thought Ontological reasoning, connections can be caught Eleven different languages, each masters its domain Together they're the symphony of formal control's refrain
← 2 What None of Them Fully Achieve | 3 The Ideal Language Would Look Like →