DMCA

D.: Using tableau to decide description logics with full role negation and identity (2011), manuscript, http://www.mettel-prover.org/ papers/ALBOid.pdf

by Renate A. Schmidt , Dmitry Tishkovsky
Citations:10 - 9 self