DBLP:conf/semweb/SchmidtT07 + redirect page
Using Tableau to Decide Expressive Description Logics with Role Negation + Has identifier
| Using Tableau to Decide Expressive Description Logics with Role Negation |
Has publishing details
pp. 438-451, 2007
Has title
Using Tableau to Decide Expressive Description Logics with Role Negation
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/semweb/iswc2007.html#SchmidtT07
Has where published
ISWC/ASWC
Has year
2007
Has author
Renate A. Schmidt +, Dmitry Tishkovsky +
Has identifier
Using Tableau to Decide Expressive Description Logics with Role Negation +
Categories Proceeding Paper +
|
