1. Gruber, T. R., 1993, “Toward Principles of the Design of Ontologies Used for Knowledge Sharing,” in International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova, Italy.
2. Lenat, D.
, 1995, “Cyc: A Large-scale Investment in Knowledge Infrastructure,” Commun. ACM, 38, pp. 33–38.
3. Enderton, H. B., 1972, A Mathematical Introduction to Logic, Academic Press, New York.
4. Sowa, J. F., 2000, Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing, Pacific Grove, California.
5. Genesereth, M. R., and Fikes, R. E., 1992, Knowledge Interchange Format Version 3.0 Reference Manual. Technical Report, Logic Group, Stanford University, CA.