Description Logics

1. The paper that got them all started (and that also discusses and influenced SNePS):
   Woods, William A. (1975), "What's in a Link: Foundations for Semantic Networks" (PDF), in D.G. Bobrow & A. Collins (eds.), Representation and Understanding: Studies in Cognitive Science (Orlando, FL: Academic Press): 35-82.
   Reprinted in:
   • Brachman, Ronald J. & Levesque, Hector J. (eds.) (1985), Readings in Knowledge Representation (Los Altos, CA: Morgan Kaufmann): 217-241.

2. On KL-ONE:
   • Brachman, Ronald J., & Schmolze, James G. (1985), "An Overview of the KL-ONE Knowledge Representation System" (PDF), Cognitive Science 9(2): 171-216.

   • Woods, William A. & Schmolze, James G. (1992), "The KL-ONE Family" (PDF), Computers and Mathematics with Applications 23(2-5): 133-177.
     Reprinted in:
     • Fritz Lehmann (ed.), Semantic Networks in Artificial Intelligence (Oxford: Pergamon Press, 1992): 133-177.

   • Tranchell, Lynn M. (1982), "A SNePS Implementation of KL-ONE", Technical Report 198 (Buffalo: SUNY Buffalo Department of Computer Science).
     • SCI/ENGR Book Collection TK7885 .N4 no.198

3. On KRYPTON:
   • Brachman, Ronald J.; Fikes, Richard E.; & Levesque, Hector J. (1983), "KRYPTON: A Functional Approach to Knowledge Representation", IEEE Computer 16(10): 67-73.

4. On CLASSIC:
   • Brachman, Ronald J.; McGuiness, Deborah L.; Patel-Schneider, Peter F.; Resnick, Lori Alperin; & Borgida, Alexander (1991), "Living with CLASSIC: When and How to Use a KL-ONE-Like Language", in John F. Sowa (ed.), Principles of Semantic Networks: Explorations in the Representation of Knowledge (San Mateo, CA: Morgan Kaufmann): 401-456.
     • LOCKWOOD Book Collection Q335 .P7 1991