ABSTRACT
We will see that logic, the study of reasoning, and especially a form of mathematical logic termed predicate logic is of high importance for understanding computer reasoning and inference in ontologies, which in a word is the process by which a computer program uses a set of known facts expressed as formulas and variables in order to derive new facts that were not explicitly given as input to the program.
