TAPO-Description Logic for Information Behavior: Refined OBoxes and Categorical Semantics
A new and advanced version of TAPO-description logic has been developed to study how information is processed. This innovative structure features three main layers: the static descriptive layer known as TBox/ABox, the procedural layer referred to as PBox, and the oracle-sensitive layer called OBox. Moreover, there’s a metalevel guard-judgment layer that supervises how processes branch and iterate. The central inference system focuses on reasoning within the TBox/ABox, oversees procedural transitions in the PBox, and verifies external imports in the OBox. The underlying semantics are explained using sheaf-theoretic refinement. Examples include simple search features and how reviews influence ordering at a curry restaurant.
Key facts
- TAPO-description logic is refined for information behavior analysis.
- Framework has TBox/ABox, PBox, and OBox layers.
- Metalevel guard-judgment layer controls procedural branching and iteration.
- Core inference system includes TBox/ABox reasoning, PBox transitions, OBox imports.
- Categorical semantics with sheaf-theoretic refinement are provided.
- Examples: simple search behavior and review-sensitive ordering in a curry restaurant.
- Paper is arXiv:2604.21172v1.
- Aim is to develop a mathematically explicit architecture.
Entities
—