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

Takao Inoué

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…