Report copyright - Description Logic 1: Syntax and Semantics · {Try to add some ‘semantics’ in order to do some ‘reasoning’ {Automated Reasoning, Modal Logic {Had theorems and algorithms {Cross-fertilisation
Please pass captcha verification before submit form