research
∙
05/10/2022
Reasoning in the Description Logic ALC under Category Semantics
We present in this paper a reformulation of the usual set-theoretical se...
research
∙
10/17/2021