![](https://www.pdfsearch.io/img/aec7a57a648c0073991d019ba0a0765d.jpg) Date: 2014-04-01 08:48:03
| | Using Tableau to Decide Description Logics with Full Role Negation and Identity Renate A. Schmidt Dmitry Tishkovsky School of Computer Science, The UniveAdd to Reading ListSource URL: www.mettel-prover.orgDownload Document from Source Website File Size: 293,78 KBShare Document on Facebook
|