CORPORATE American Association for Artificial Intelligence
Menlo Park, CA
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research