1. Natural Language Understanding;Allen,1995
2. Matching in description logics;Baader;Journal of Logic and Computation,1999
3. F. Baader, R. Küsters, R. Molitor, Rewriting concepts using terminologies—revisited, Tech. Rep. 00-04, Aachen University of Technology, Research Group for Theoretical Computer Science, Aachen, 2000
4. Computing the least common subsumer w.r.t. a background terminology;Baader;Journal of Applied Logic,2007
5. Inference and computational semantics;Blackburn,2001