Nicola Guarino (1998)

A comparative analysis with the CoD

...
Note
For first-time readers: This comparative analysis assumes familiarity with the Conference of Difference (CoD) ontological model. For a concise introduction to its central claim, see Central claim

I. Abstract

Nicola Guarino’s formal methodology, developed for knowledge representation, is not a rival theory of existence but a methodological framework that builds upon a foundational commitment to substance ontology. This comparative assessment, using the OMAF, shifts focus from treating Guarino's work as a peer ontology to analyzing it as a case study. The analysis reveals that while Guarino's methodology provides powerful tools for classifying entities, its unexamined assumption—that reality is fundamentally composed of stable, classifiable substances with fixed identities—limits its capacity to account for emergence, change, and relational genesis. The CoD, by contrast, posits relation as primitive and process as primary, offering a more fundamental account of how the very categories Guarino's methodology takes for granted come into being. This strengthens the thesis that relational dynamics, not categorical structures, are ontologically primitive.

II. Overview of Guarino’s methodology as an ontology

Nicola Guarino’s work, primarily known through the OntoClean methodology, provides a rigorous, logical toolkit for validating the taxonomic structure of domain ontologies. Its core mechanisms—the definition of meta-properties like rigidity, identity, and unity—are designed to analyze and enforce consistency within class hierarchies. From the perspective of the OMAF, Guarino's work makes a definitive, albeit implicit, commitment on the fundamental questions:

III. Overview of the CoD

The Conference of Difference (CoD) model claims that, as a 'condition of being', existence is, by extension, a 'process of declaring together of action to be'. This condition: 'process of declaring together' can itself be described as a conference of difference: a 'condition of bearing together' transforming the 'condition of bearing apart'. Logically, every conference is of difference as every difference is born of conference. Critically, this is not a causal circle but a constitutive one: neither term precedes the other; each is intelligible only through the other.[1] Therefore, the conference of difference is irreducible in and of itself and thus the process primitive of existence.

In John I. Mackay: A CRUP-OMAF case study, its ontology is assessed as follows:

IV. Comparison

Criterion 1: Primacy-of-existence

Criterion 2: Manner-of-existence

Criterion 3: Relationship-between-multiplicity-and-unity

V. Implications

The single most important lesson from this comparison is not that two ontologies differ, but that a powerful methodology for classifying entities can rest upon an unexamined ontological commitment to substance. Guarino’s tools are invaluable for organizing a world assumed to be comprised of stable substances. However, the CoD demonstrates that this assumption is not a foundational truth but a special case—a stabilized pattern within a more fundamental process.

This comparison strengthens the case for the CoD by showing its capacity to explain the genesis of ontological commitment. Where Guarino's methodology must take its taxonomy of universals as a given, the CoD explains all categories – including 'substance', 'universal', and 'instance' – as emergent, stable patterns within the primordial conference of difference. This opens a new line of inquiry: how formal structures themselves evolve and transform.

This confrontation with a substance-committed methodology illustrates a key axis of differentiation: the choice between a static, classificatory framework for organizing being, and a dynamic, processual ontology for explaining its very emergence.

Gospel of being
All existence is a conference of
difference
Discover the process
Gospel of being ebook cover

Footnotes

  1. Just as the decimal system (relation) is prior to the number 7 (relatum), though each is intelligible only through the other. The system does not depend on any single numeral, but no numeral exists outside a system. ↩︎


License: JIML v.1