# TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics

arXiv: https://arxiv.org/abs/2604.21172 · HTML: https://mlsanity.com/paper/2604.21172/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 4 of its 11 references that are in the map.
- First posted on arXiv 23 Apr 2026.

## Builds on (most cited first, 4 of 4)

- [Category-theoretical Semantics of the Description Logic ALC (extended version)](https://mlsanity.com/paper/2110.08837/) (2021)
- [Reasoning in the Description Logic ALC under Category Semantics](https://mlsanity.com/paper/2205.04911/) (2022)
- [A New Tractable Description Logic under Categorical Semantics](https://mlsanity.com/paper/2505.08916/) (2025)
- [TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions](https://mlsanity.com/paper/2602.17242/) (2026)

## Abstract (arXiv)

This paper develops a refined version of TAPO-description logic for the analysis of information behavior. The framework is treated not as a single homogeneous object logic, but as a layered formalism consisting of a static descriptive layer (TBox/ABox), a procedural layer (PBox), and an oracle-sensitive layer (OBox). To make this architecture mathematically explicit, we introduce a metalevel guard-judgment layer governing procedural branching and iteration. On this basis we formulate a core inference system for TAPO-description logic, covering static TBox/ABox reasoning, guarded procedural transition in the PBox, and validated external import in the OBox. We then give a categorical semantics for the resulting framework and indicate its sheaf-theoretic refinement. The theory is illustrated by examples of information-seeking behavior, including simple search behavior and review-sensitive ordering behavior in a curry restaurant. The aim is to treat not only static knowledge representation but also hesitation, external consultation, and action-guiding update within a unified logical setting.