Ontology Engineering

Ontology engineering is the discipline of constructing formal ontologies — structured, machine-readable specifications of the entities, relationships, and constraints in a domain — for use in knowledge representation, Semantic Web systems, and artificial intelligence.

A formal ontology defines what exists within a domain by specifying: classes of entities (a Gene is a subtype of Biological Entity), properties and relations (a Gene encodes a Protein), and constraints (every Protein has exactly one primary sequence). By making these commitments explicit and machine-readable, ontology engineering enables automated reasoning, data integration across heterogeneous databases, and unambiguous communication between systems.

Major projects include the Gene Ontology (biological functions, processes, cellular components), SNOMED CT (clinical medicine), the Basic Formal Ontology (BFO), and the Web Ontology Language (OWL). Each encodes substantive philosophical choices — about whether processes or objects are primary, about whether relations are first-class entities — that are rarely examined by the domain scientists who use them.

The central tension: formal ontologies must be stable enough to serve as integration points for many databases, yet revisable enough to track a field's evolving understanding. In practice, stability usually wins, and the ontology preserves a historical understanding of the domain long after the domain has moved on. See also: Ontology, Formal Language Theory, Knowledge Representation, Semantic Web.