I can think of a couple. DMN kinda does this: https://en.wikipedia.org/wiki/Decision_Model_and_Notation https://en.wikipedia.org/wiki/Decision_Model_and_Notati

I can think of a couple. DMN kinda does this: https://en.wikipedia.org/wiki/Decision_Model_and_Notation https://en.wikipedia.org/wiki/Decision_Model_and_Notation and Drools: https://www.drools.org https://www.drools.org There are papers describing using OWL for biz rules, too: https://link.springer.com/chapter/10.1007%2F978-3-642-32689-9_6 https://link.springer.com/chapter/10.1007%2F978-3-642-32689-.... One of the biggest problems (IMHO) in this space (which I've worked in CLIPS-based systems http://clipsrules.sourceforge.net http://clipsrules.sourceforge.net) is that business rules are often not as "logical" as they seem and can cause real problems for novices without formal logic training. Sometimes the business rules aren't even "rules" as such, which makes it really hard to both create and explain.