Ontologies is the formal, explicit specification of a shared conceptualization of a domain. As a research concept within knowledge representation and artificial intelligence, it investigates the fundamental categories of entities, their properties, and the relationships between them that exist within a defined scope. Key characteristics include a structured vocabulary of concepts, a hierarchy of classes, properties defining attributes and relationships, and axioms specifying constraints, providing a framework for automated reasoning, data integration, and semantic interoperability.