Sciweavers

DLOG
1996
13 years 6 months ago
An Approach to Subsumption in a DL with Implication
Designing a DL system poses the problem of the trade-o between power of expression and complexity. In spite of their rich expressive capacity, the or and not constructors are usua...
Mathieu Latourrette, Michel Simonet