The T-Box/A-Box Myth — And What Quine Can Teach Ontologists

Ontologists love distinctions… maybe a little too much. One of our most sacred ones — the T-Box vs. A-Box — might actually be an illusion. In this video, I argue that there is no such thing as the T-Box, at least not as a deep metaphysical or architectural category.

We review the standard definitions (Gruber 1993; KL-One; Giacomo & Lenzerini 1996), look at examples like “BasketballPlayers play basketball” vs. “LeBron is a BasketballPlayer,” and compare this to W.V.O. Quine’s famous attack on the analytic/synthetic distinction in Two Dogmas of Empiricism (1951).

Quine’s “web of belief” shows why sharp lines between meaning-statements and world-statements don’t hold up. Ontologies work the same way: A-Box facts can force revisions in T-Box structure, classes and individuals are conventional, and everything sits on a spectrum of centrality rather than in separate boxes.

The T-Box/A-Box split is still a useful heuristic, but not a deep distinction. Think of your ontology as a web, not a two-box architecture.