ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic <i>ALC</i>\mathcal{ALC}.

Linh Anh Nguyen Andrzej Szalas ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic <i>ALC</i>\mathcal{ALC}. 437-448 2009 ICCCI http://dx.doi.org/10.1007/978-3-642-04441-0_38 conf/iccci/2009 db/conf/iccci/iccci2009.html#NguyenS09