Using Tableau to Decide Description Logics with Full Role Negation and Identity Renate A. Schmidt Dmitry Tishkovsky School of Computer Science, The Unive - Negation - Document - PDFSEARCH.IO

First Page	Meta Content
	Using Tableau to Decide Description Logics with Full Role Negation and Identity Renate A. Schmidt Dmitry Tishkovsky School of Computer Science, The Unive Add to Reading List Document Date: 2014-04-01 08:48:03 Open Document File Size: 293,78 KB Share Result on Facebook

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 List