A milestone book is "Knowledge Representation" by John F. Sowa, August 1999. We also recommend to see something about "Conceptual Graphs" and "Existential Graphs, from Charles Sanders Peirce . These were perhaps the first works about Ontology and Computation.