Computable Models of the Law Languages, Dialogues, Games, Ontologies | EKB DL