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://finr

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/ https://finregont.com/ : Semantic compliance in finance - https://bankontology.com/ https://bankontology.com/ : Semantic bank compliance - https://www.smartlogic.com/home 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 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=semantic+legal+compliance&btnG= 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)