We introduce \emph{TAPO-Structured Description Logic} (TAPO--DL), a formal extension of classical description logic designed to model \emph{information behavior} as a structured, dynamic process. TAPO--DL extends the standard T--Box/A--Box architecture with two additional layers: a \emph{Procedural Box} (P--Box), which supports concept-driven, imperative-style programs such as conditional and iterative actions, and an \emph{Oracle Box} (O--Box), which formalizes controlled interaction with external information sources. While the terminological and assertional components capture static conceptual and factual knowledge, the procedural and oracle-based components enable the explicit representation of information-generating actions and external validation. We provide a unified semantic framework for TAPO--DL based on a co-generative, sheaf-theoretic interpretation, in which local informational states are modeled as sections and informational stability corresponds to the existence of coherent global structures. Within this setting, informational truth is characterized as stability under repeated agentive interaction rather than correspondence to a fixed global state. By integrating description logic with procedural dynamics, oracle-based reasoning, and sheaf-theoretic semantics, TAPO--DL offers a principled formal framework for analyzing information behavior in contexts involving interaction, uncertainty, and contextuality.

翻译：本文提出一种用于信息行为建模的形式化扩展——\emph{TAPO结构描述逻辑}（TAPO--DL）。该逻辑在经典描述逻辑的基础上，将\emph{信息行为}视为一种结构化、动态的过程进行刻画。TAPO--DL在标准T--Box/A--Box架构之上扩展了两个附加层次：\emph{过程箱}（P--Box）支持基于概念的、命令式风格的程序（如条件与迭代动作）；\emph{预言机箱}（O--Box）则形式化了与外部信息源的可控交互。术语组件与断言组件负责刻画静态的概念知识与事实知识，而过程组件与基于预言机的组件使得信息生成动作与外部验证能够被显式表示。我们为TAPO--DL提供了一个基于共生成、层论解释的统一语义框架，其中局部信息状态被建模为截面，信息稳定性则对应于相干全局结构的存在性。在此框架下，信息真理性被刻画为在重复主体交互下保持的稳定性，而非对应于某个固定的全局状态。通过将描述逻辑与过程动态性、基于预言机的推理以及层论语义相结合，TAPO--DL为分析涉及交互、不确定性与语境性的信息行为提供了一个具有原则性的形式化框架。