a computer implemented method and systems used to create and interpret a set of formal glossaries which refer one to the other and are intended to define precisely the terminology of a field of endeavor . such glossaries are known as intelligent , in the sense that they allow machines to make deductions , with interaction of human actors . once a word is defined in an intelligent glossary , all the logical consequences of the use of that word in a formal and well - formed sentence are computable . the process includes a question and answer mechanism , which applies the definitions contained in the intelligent glossaries to a given formal sentence . the methods may be applied in the development of knowledge management methods and tools that are based on semantics ; for example : modeling of essential knowledge in the field based on the relevant semantics ; and computer - aided human - reasoning .