Ontologies, rooted in Aristotle's philosophy of being and formalized by Quine and Gruber (1993), are fundamentally 'a formal specification of a shared conceptualization'—a tool for representing domain entities, relationships, and properties for systems like graph databases and knowledge graphs.