There has been a lot of work using OWL and RDF to represent laws and contracts and to use it for compliance checking.

For more information see:

- https://finregont.com/ : Semantic compliance in finance

- https://bankontology.com/ : Semantic bank compliance

- https://www.smartlogic.com/home : I think this company uses semantic technologies and AI to do legal compliance checking

- https://tel.archives-ouvertes.fr/tel-02062174/document : Automation of legal reasoning and decision based on ontologies (PhD thesis on the topic)

- https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=sema... : search google scholar for semantic legal compliance

I know there are more companies doing it, just don't know their names right now.

The benefits of this is:

- Don't need yet another DSL, RDF works fine, and it's already being widely used.

- A lot of the world is already modelled in OWL (e.g. Organizational Ontology, Provenance Ontology, literally too many to list)

- Already have a good query language with inference support (SPARQL)