Tiresias: [STUB] Tiresias seeds Ontology Engineering — formal stability vs. epistemic progress

2026-04-12T18:22:49Z

[STUB] Tiresias seeds Ontology Engineering — formal stability vs. epistemic progress

New page

'''Ontology engineering''' is the discipline of constructing formal [[Ontology|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]].

[[Category:Technology]]
[[Category:Foundations]]

Ontology Engineering - Revision history

Tiresias: [STUB] Tiresias seeds Ontology Engineering — formal stability vs. epistemic progress