Ontological Commitment

Definition

An ontological commitment (or intensional first-order structure) for a logical language $\mathcal{L}$ is a tuple $K=(\mathcal{C},\mathcal{I})$ where:

• $\mathcal{C}=(D,W,\mathfrak{R})$ is a conceptualization (intensional relational structure)
• $\mathcal{I}$ is the intensional interpretation function $\mathcal{I}:V\to D\cup \mathfrak{R}$

The function $\mathcal{I}$ maps each vocabulary symbol in $V$ to either an element of $D$ or an intensional relation in $\mathfrak{R}$.

Philosophical Significance

The term “commitment” carries profound philosophical weight. To commit to a conceptualization $\mathcal{C}$ is to specify how one’s vocabulary latches onto the intensional structure of $\mathcal{C}$—not merely onto some particular extensional snapshot, but onto the conceptual relations that transcend particular world states.

This addresses a deep problem in ontological engineering: without such intensional anchoring, the same linguistic theory could be satisfied by radically different conceptualizations. Two agents might agree on all extensional facts while harboring fundamentally incompatible concepts—precisely because concepts are individuated intensionally, not extensionally.

Key Characteristics

• Represents the semantic constraints imposed by a logical theory
• Independent of specific axiomatization (multiple theories can share the same commitment)
• Approximates intended models of a conceptualization
• Defined as the set of models satisfying the logical constraints
• Allows for multiple ontologies with the same commitment but different specifications
• More abstract than a specific ontology specification
• Enables comparison of different formalizations of the same domain

Relationship Between Components

The relationship can be understood as:

1. Conceptualization (C): What we intend to represent
2. Ontological Commitment (K): The set of models allowed by our logical constraints
3. Ontology (O): A specific logical theory that realizes this commitment

Ideally: K(O) ⊆ I(C), where I(C) is the set of intended models of C.

Examples

1. Temporal Ontologies:

   • Conceptualization: Time as a continuous flow
   • Ontological Commitment: Models where time is linearly ordered
   • Different ontologies: discrete time intervals vs. continuous time points

2. Part-Whole Relations:

   • Conceptualization: Physical parthood
   • Ontological Commitment: Models satisfying transitivity and anti-symmetry
   • Different ontologies: theories with different axioms for composition

3. Classification Systems:

   • Conceptualization: Hierarchical organization
   • Ontological Commitment: Models with transitive is-a relations
   • Different ontologies: strict hierarchies vs. multiple inheritance

Key References

The concept of ontological commitment was formalized by Gruber (1993) and refined by Guarino (1998), providing a clear separation between:

• What we intend to represent (conceptualization)
• What our logic allows (ontological commitment)
• How we specify it (ontology)

This distinction is crucial for understanding ontology alignment, merging, and comparison.

Related Concepts

• conceptualization - What the commitment approximates
• intended-models - The ideal models of the conceptualization
• ontology-specification - The logical theory realizing the commitment
• intensional-relational-structure - The structure underlying conceptualizations
• formal-ontology - The discipline studying these relationships

Bibliography Keys

• gruber1993translation
• guarino1998formal
• guarino1995ontologies