Sciweavers

DLOG
1996
15 years 1 days 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