394041424344454647
this( kb, new Expressivity() ); } public ExpressivityChecker(KnowledgeBase kb, Expressivity expr) { m_KB = kb; m_ELChecker = new ELExpressivityChecker(m_KB); m_DLChecker = new DLExpressivityChecker(m_KB); m_Expressivity = expr; }