ontologies编辑历史

# 1 Definition and overview

In computer science and knowledge representation, an ontology is a formal, explicit specification of a shared conceptualization of a domain. It defines the types of entities (classes), their attributes (properties), and the relationships between them, enabling machines to reason about and exchange information with a common understanding. Ontologies are foundational to the Semantic Web, artificial intelligence, and data integration, providing a structured vocabulary that can be reused and extended across applications.

## 1.1 Formal semantics

An ontology is equipped with a formal semantics, meaning that all terms and relationships are defined in a mathematically precise way. This allows automated reasoners to derive new knowledge that is logically entailed by the ontology’s axioms. Formal semantics typically rely on description logics or first-order logic, ensuring that interpretations are unambiguous and that inferences are sound and complete relative to the chosen logic.

## 1.2 Components of an ontology

An ontology consists of several core building blocks that collectively define the structure of a domain.

### 1.2.1 Classes (concepts)

Classes represent sets of entities that share common characteristics. For example, in a biology ontology, "Mammal" and "Bird" would be classes. Classes are often organized in a hierarchy (taxonomy) using subclass relationships, e.g., "Dog" is a subclass of "Mammal."

### 1.2.2 Individuals (instances)

Individuals (also called instances) are the concrete objects or entities that belong to a class. For instance, "Fido" could be an individual of the class "Dog." Individuals are the ground-level elements about which facts are stated in the ontology.

### 1.2.3 Properties (roles, attributes)

Properties describe attributes of classes and individuals or relationships between them. Object properties link two individuals (e.g., "hasParent"), while datatype properties link an individual to a data value (e.g.