Francesco M. Donini;Maurizio Lenzerini;Daniele Nardi
-;-;-
Bibliography
The description logic handbook
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning