Optimising Propositional Modal Satisfiability for Description Logic Subsumption
I. Horrocks and P. F. Patel−Schneider
Details
| 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 |