Report copyright - Introduction, Description Logics · 2015. 10. 5. · Proof Theory { to enforce the semantics Logics trade-o A logical calculus is always a trade-o between expressiveness and tractability
Please pass captcha verification before submit form