Knowledge Engineering Part A - Lecture notes on knowledge representation, featuring philosophical and psychological basis, conceptual graphs, reasoning and computation. Dickson Lukose, The University of New England, July 1996.
Knowledge Representation - Detailed online summary of 1999 book by Harvard mathematician John W. Sowa, including sections on logic and ontology.