Engineering
impact 16
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics arXiv:2604.21172v1 Announce Type: cross Abstract: This paper develops a refined version of TAPO-description logic for…
Why it matters
The logic community will be debating this. Pay attention to how tapodescription players respond in the coming weeks.