Within Applied Ontology, ontologies are considered to be logical theories that are designed to support search, semantic integration, and decision support. More recently, there has been an effort to systematize this approach within a lifecycle for ontology development, analogous to that found in software engineering. In this paper we will see how the work of Nicola Guarino has laid the foundations for the rigorous discipline of ontological engineering.