AI RESEARCH
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
arXiv CS.AI
•
ArXi:2604.21172v1 Announce Type: cross 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