Automated Planning and Ontology are two well-established fields of Artificial Intelligence (AI). The former investigates techniques to formally model and reason about the effects of actions, and decide the combinations of actions that allow an agent to achieve goals. The latter investigates techniques to formally represent and define knowledge (by formally describing domain entities and their interrelations), allowing agents to process information about objects, events, and other sorts of entities, and incrementally build and verify beliefs.
Both Automated Planning and Ontology generally rely on logic to model knowledge and reasoning over it, organizing reasoning mechanisms. They support the development of cognitive capabilities that autonomous agents need to effectively act in the real world.