Ontologies
First-Order Logic. Conceptualization The formalization of knowledge begins with a conceptualization. This includes the objects presumed or hypothesized.