Uploads from Ontology Explained: Philosophy and AI

Currently Playing: 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. References: • Quine, “Two Dogmas of Empiricism” (1951): https://sidoli.w.waseda.jp/Quine_Two_Dogmas.pdf • Gruber (1993), “A Translation Approach to Portable Ontology Specifications” • Giacomo & Lenzerini (1996), AAAI Workshop paper • Dave McComb’s C-Box video: https://www.youtube.com/watch?v=0-j9nWFVoYc