Chan Le Duc | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Pascal Vaillant
3 publications
Ludovic Brieulle
2 publications

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...

0 Ludovic Brieulle, et al. ∙

research

∙ 10/17/2021

Category-theoretical Semantics of the Description Logic ALC (extended version)

Category theory can be used to state formulas in First-Order Logic witho...

0 Chan Le Duc, et al. ∙