pith. sign in

arxiv: 2605.22093 · v2 · pith:G5343HYNnew · submitted 2026-05-21 · 💻 cs.AI

Knowledge Graph Re-engineering Along the Ontological Continuum (extended version)

Enrico Daga , Valentina Tamma , Terry Payne This is my paper

Pith reviewed 2026-05-22 05:59 UTC · model grok-4.3

classification 💻 cs.AI
keywords knowledge graphsontological continuumre-engineeringsemanticspragmaticspropertiesaffordancesformal concept analysis
0
0 comments X

The pith

The ontological continuum organizes knowledge graph practices using two distinctions: semantics versus pragmatics and properties versus affordances.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Knowledge graphs range widely from lightweight vocabularies to richly axiomatised ontologies, which makes their integration and reuse costly for modern AI systems. The paper introduces the ontological continuum as a theoretical construct to address this diversity without prescribing any single modeling style. Its framework rests on two orthogonal distinctions that supply a shared vocabulary for describing, comparing, navigating, and transforming graphs. The stance is empirical, building a theory of observed practices rather than ideal ones, and the idea is illustrated by showing how provenance concerns appear differently at each point along the continuum. A reader would care because the construct aims to ground automated re-engineering, especially when generative AI is used to adapt graphs for neuro-symbolic applications.

Core claim

The paper introduces the ontological continuum as the missing conceptualisation for knowledge graph modeling, a theoretical construct whose characterisation framework is defined by two orthogonal distinctions—semantics versus pragmatics, and properties versus affordances—together supplying a vocabulary to describe, compare, navigate, and transform KGs across the full range of modelling practices. The methodological stance is empirical rather than prescriptive: the continuum seeks to define a theory of the existent derived from observation of real-world KG engineering practices, whose structure can be made formally explicit through methods such as Formal Concept Analysis. The vision is shown,

What carries the argument

The ontological continuum, a theoretical construct defined by the two orthogonal distinctions of semantics versus pragmatics and properties versus affordances that supplies a vocabulary for describing and transforming knowledge graphs.

If this is right

  • Knowledge graph integration and reuse become less expensive and brittle when graphs can be compared and transformed along the continuum.
  • Re-engineering of graphs to meet new requirements becomes more systematic in neuro-symbolic AI settings.
  • Generative AI tools for knowledge graph adaptation gain a principled conceptual grounding instead of remaining unguided.
  • Formal Concept Analysis can be used to make the structure of observed practices explicit and computable.
  • Five open research challenges are set out for the community to develop the continuum further.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The framework could support empirical classification studies that map large repositories of existing knowledge graphs onto the continuum.
  • Similar continua might be constructed for other structured data representations that face comparable integration problems.
  • Automated tools could be developed to detect a graph's position on the continuum and suggest minimal transformations to a target position.

Load-bearing premise

The two distinctions between semantics and pragmatics and between properties and affordances are sufficient to capture and organize the full observed diversity of real-world knowledge graph modeling practices.

What would settle it

A systematic survey of deployed knowledge graphs that identifies modeling practices requiring additional distinctions beyond semantics-pragmatics and properties-affordances to be described or transformed would falsify the claim that the two distinctions suffice.

Figures

Figures reproduced from arXiv: 2605.22093 by Enrico Daga, Terry Payne, Valentina Tamma.

Figure 1
Figure 1. Figure 1: FCA lattice: pragmatic affordances. See [PITH_FULL_IMAGE:figures/full_fig_p019_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FCA lattice: pragmatic properties. See [PITH_FULL_IMAGE:figures/full_fig_p022_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FCA lattice: semantic affordances. See [PITH_FULL_IMAGE:figures/full_fig_p023_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FCA lattice: semantic properties. See [PITH_FULL_IMAGE:figures/full_fig_p026_4.png] view at source ↗
read the original abstract

Knowledge graphs have become the primary vehicle for data integration and are critical to the success of modern AI, but the diversity of KG modelling practices, from lightweight vocabularies to richly axiomatised ontologies, makes integration and reuse expensive and brittle. This challenge is particularly acute in neuro-symbolic AI, where bridging neural and symbolic components depends on the ability to reengineer KGs to fit new requirements; GenAI now offers unprecedented automation capability, but without a principled understanding of the KG space, such automation remains conceptually ungrounded. We introduce the ontological continuum as that missing conceptualisation, a theoretical construct a theoretical construct whose characterisation framework is defined by two orthogonal distinctions: semantics vs pragmatics, and properties vs affordances; together these define a vocabulary to describe, compare, navigate, and transform KGs across the full range of modelling practices. The methodological stance is empirical: rather than prescribing how KGs should be modelled, the continuum aims to define a theory of the existent, derived from observation of real-world KG engineering practices and whose structure can be made formally explicit, for example, through Formal Concept Analysis (FCA). We ground the vision through a case study on provenance knowledge, showing how a single concern manifests differently across the continuum. We articulate five open research challenges and invite the community to develop the ontological continuum as a shared research agenda.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces the ontological continuum as a theoretical construct to address the diversity of knowledge graph (KG) modeling practices. The framework is characterized by two orthogonal distinctions: semantics versus pragmatics, and properties versus affordances. These distinctions are intended to provide a vocabulary for describing, comparing, navigating, and transforming KGs. The approach is empirical, based on observation of real-world practices, with potential formalization via Formal Concept Analysis (FCA). It is grounded by a case study on provenance knowledge and ends with five open research challenges.

Significance. If the proposed framework proves effective, it could provide a much-needed conceptual tool for KG re-engineering in AI applications, particularly neuro-symbolic systems. The paper's strengths include its empirical methodological stance, which avoids prescriptivism, and its explicit articulation of open challenges to foster community development. This positions the work as a starting point for an empirical theory of KG modeling practices.

major comments (2)
  1. [Abstract] The claim that the two distinctions are sufficient to capture the observed diversity of real-world KG modeling practices is central to the proposal but is only illustrated at a high level in the provenance case study; additional concrete mappings or examples would help substantiate that the framework can support transformation across the continuum.
  2. [Case Study] The case study on provenance demonstrates differential manifestation but lacks detail on how the distinctions enable specific re-engineering steps, which is load-bearing for the utility in neuro-symbolic AI contexts mentioned in the introduction.
minor comments (2)
  1. [Abstract] Typo: the phrase 'a theoretical construct' is repeated consecutively as 'a theoretical construct a theoretical construct'.
  2. [Throughout] Clarify the definitions of 'affordances' and 'pragmatics' in the context of KGs, possibly with references to related literature in ontology engineering.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful review and recommendation for minor revision. Below we provide point-by-point responses to the major comments.

read point-by-point responses

  1. Referee: [Abstract] The claim that the two distinctions are sufficient to capture the observed diversity of real-world KG modeling practices is central to the proposal but is only illustrated at a high level in the provenance case study; additional concrete mappings or examples would help substantiate that the framework can support transformation across the continuum.

    Authors: We note that the abstract summarizes the contribution, and the sufficiency of the two distinctions is positioned as a hypothesis derived from empirical observation rather than a fully validated claim. The provenance case study serves to illustrate differential manifestation for a single concern. To strengthen substantiation of transformation support, we will add concrete mappings for two further KG scenarios (e.g., entity linking and schema alignment) in the revised case study section. revision: yes

  2. Referee: [Case Study] The case study on provenance demonstrates differential manifestation but lacks detail on how the distinctions enable specific re-engineering steps, which is load-bearing for the utility in neuro-symbolic AI contexts mentioned in the introduction.

    Authors: The case study is deliberately scoped to demonstrate differential manifestation across the continuum in order to ground the distinctions empirically. Specific re-engineering steps are not detailed because they form part of the five open research challenges explicitly listed in the paper; the distinctions are intended to provide conceptual guidance for such steps rather than prescriptive procedures. We will revise the case study to include a high-level outline of how the distinctions can inform re-engineering choices while clarifying that full operationalization remains future work. revision: partial

Circularity Check

0 steps flagged

No significant circularity; framework presented as empirical observation

full rationale

The paper introduces the ontological continuum as an independent theoretical construct derived from observation of real-world KG modelling practices, using two orthogonal distinctions (semantics vs pragmatics; properties vs affordances) to supply a descriptive vocabulary. It explicitly adopts an empirical stance, aims to define a theory of the existent rather than prescribe rules, notes that the structure can be made formally explicit (e.g., via FCA), and lists five open research challenges. No equations, fitted parameters, self-referential definitions, or load-bearing self-citations appear in the derivation; the central claim remains a provisional conceptual framework grounded in observed diversity rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper rests on the domain assumption that real-world KG practices can be observed to yield an empirical theory and introduces the ontological continuum as the central new entity without external falsifiable handles beyond the single case study.

axioms (1)
  • domain assumption The distinctions semantics vs pragmatics and properties vs affordances are orthogonal and jointly sufficient to characterize the space of KG modeling practices.
    Invoked directly in the definition of the characterisation framework in the abstract.
invented entities (1)
  • Ontological continuum no independent evidence
    purpose: To supply a vocabulary for describing, comparing, navigating, and transforming knowledge graphs across modeling practices.
    New theoretical construct introduced to address the integration challenge; no independent falsifiable evidence is supplied beyond the provenance case study.

pith-pipeline@v0.9.0 · 5768 in / 1461 out tokens · 68587 ms · 2026-05-22T05:59:22.687290+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.