Intensional Relational Structure

Definition

An intensional relational structure is a fundamental component of a conceptualization in formal ontology theory. It represents the conceptual schema or intension that defines what entities and relationships are meaningful in a domain, independent of their specific instantiations.

While an extensional relational structure consists of a domain $\mathcal{D}$ and a set of relations $\mathcal{R}$ over $\mathcal{D}$, an intensional relational structure defines the same structure at the conceptual level - specifying what kinds of entities and relations are possible or intended, rather than which specific entities and relations actually exist.

Key Characteristics

• Represents the conceptual or intensional aspect of a domain
• Defines the vocabulary and conceptual schema independent of specific instances
• Forms the basis for ontological commitment in formal ontologies
• Contrasts with extensional relational structures which enumerate actual entities and relations
• Provides the framework for interpreting logical languages about a domain
• Essential for understanding the relationship between conceptualizations and their models

Examples

Cooperates-With as Conceptual Relation

Following Guarino’s human resources example, consider the conceptual relation cooperates-with${}^2$. Let: $D=\{{\text{employee}}_1,{\text{employee}}_2,\dots ,{\text{employee}}_{50000}\}$ $W=\{\text{possible organizational states}\}$

The conceptual relation is not merely the set of pairs currently cooperating, but rather the function that specifies, for each possible organizational configuration $w\in W$, which pairs would be cooperating in that configuration.

In world $w_1$, perhaps cooperation requires merely shared goals: ${\text{cooperates-with}}^2(w_1)=\{({\text{emp}}_i,{\text{emp}}_j):{\text{emp}}_i\text{ and }{\text{emp}}_j\text{ share goals in }{w}_1\}$

But we might imagine an alternative concept where cooperation requires both shared goals and coordinated action. This would be a different conceptual relation ${\rho }^{\prime 2}$, even though it might happen to have the same extension in certain worlds.

Von Bertalanffy’s Biological Systems

Consider a simple metabolic system with states characterized by substrate concentration $S$, enzyme concentration $E$, and product concentration $P$. The universe of discourse is: $D=\{\text{substrate molecules, enzyme molecules, product molecules}\}$

World states are assignments of concentrations: $w\in W\text{ assigns values to }(S(w),E(w),P(w))$

A conceptual relation might be the Michaelis-Menten kinetics: ${\text{reaction-rate}}^3:W\to 2^{D^3}$

where for each world state $w$, this relation specifies which triples of (substrate, enzyme, product) entities satisfy the kinetic equation at that state. The relation itself—the functional form of Michaelis-Menten kinetics—is the invariant concept, while its extension varies with concentration states.

The Invariance Problem and Systems Theory

This definition crystallizes what we might call the invariance requirement: a conceptualization specifies the intensions—the conceptual relations—that remain fixed while extensions vary with world states. This directly addresses von Bertalanffy’s concern with identifying genuine systemic properties that transcend particular states.

When von Bertalanffy characterizes a system through differential equations: $\frac{d{Q}_i}{dt}=f_i(Q_1,Q_2,\dots ,Q_n)$

he is implicitly specifying conceptual relations—the functional dependencies $f_i$ that determine how changes in any variable $Q_i$ depend on all variables. These functions do not vary with the current values of the $Q_i$; rather, they determine how those values evolve.

Key References

A Translation Approach to Portable Ontology Specifications

Thomas R. Gruber (1993)

Introduces the formal framework distinguishing extensional relational structures from conceptualizations, establishing the theoretical foundation for modern ontology engineering.

Formal Ontology and Information Systems

Nicola Guarino (1998)

Refines the distinction between intensional and extensional structures, introducing the triple $\mathcal{C}=(D,W,\mathfrak{R})$ formulation and the Carnapian approach to conceptual relations as functions from possible worlds to extensions.

Related Concepts

• extensional-relational-structure - The dual notion dealing with actual instances
• conceptualization - The broader notion that intensional structures help define
• ontological-commitment - What an ontology commits to about conceptualizations
• intended-models - The models that satisfy the intensional constraints
• relational-structure - The general mathematical framework

Bibliography Keys

• gruber1993translation
• guarino1998formal