A New Tractable Description Logic under Categorical Semantics

Open in new window