Optimising Propositional Modal Satisfiability for Description Logic Subsumption
I. Horrocks and P. F. Patel−Schneider
Annote
AKA: Horrocks98a
Book Title
Proc. of the 4th Int. Conf. on Artificial Intelligence and Symbolic Computation (AISC'98)
Pages
234–246
Publisher
SV
Series
LNAI
Volume
1476
Year
1998