11 search results - page 3 / 3 » Knowledge Compilation in the Modal Logic S5 |
AAAI
2008
13 years 9 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...