Abstract

Keyphrases

random modal formula    expressive description logic    expressive propositional modal logic    propositional modal logic    decision procedure    fast decision procedure    various collection    bell lab    numerous experiment    description logic system    recent test    random formula    experimental description logic system    current status    many class    considerable amount    recent tableau conference    knowledge base