Description Logics

1. 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.

   • The paper that got them all started (and that also discusses and influenced SNePS).

2. Brachman, Ronald J. (1977), "What's in a Concept: Structural Foundations for Semantic Networks", International Journal for Man-Machine Studies 9: 127-152.
   • This is the major follow-up article to Woods 1975. Despite its subtitle, this is really an article about KR languages in general, and KL-ONE in particular, which, in its original incarnation, was a semantic network.

3. Brachman, Ronald J. (1979), "On the Epistemological Status of Semantic Networks", in Findler, Nicholas V. (ed.) (1979), Associative Networks: The Representation and Use of Knowledge by Computers (New York: Academic Press): 3-50.
   • SCI/ENGR Book Collection Q360 .A87

   • Reprinted in:
     Brachman, Ronald J., & (eds.) (1985), Readings in Knowledge Representation (San Mateo, CA: Morgan Kaufmann): 191-215.

   • Despite its title, this is really an article about KR languages in general, and KL-ONE in particular, which, in its original incarnation, was a semantic network.

4. 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

5. Brachman, Ronald J.; Fikes, Richard E.; & Levesque, Hector J. (1983), "KRYPTON: A Functional Approach to Knowledge Representation", IEEE Computer 16(10): 67-73.
   • A revised version is reprinted in:
     Brachman, Ronald J. & Levesque, Hector J. (eds.) (1985), Readings in Knowledge Representation (Los Altos, CA: Morgan Kaufmann): 411-429.

6. Brachman, Ronald J. (1983), "What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks", Computer 16(10): 30-36.

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

8. 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

9. 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.

10. LOOM Project Home Page
    • A project begun by Robert MacGregor...

    • ... and now directed by UB/CSE, SNeRG alumnus, and former SNeRG snwiz Hans Chalupsky!