3 papers
cs.LO2025
A New Tractable Description Logic under Categorical Semantics
Chan Le Duc, Ludovic Brieulle
Biomedical ontologies contain numerous concept or role names involving negative knowledge such as lacks_part, absence_of. Such a representation with labels rather than logical cons…
cs.LO2022
Reasoning in the Description Logic ALC under Category Semantics
Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
We present in this paper a reformulation of the usual set-theoretical semantics of the description logic with general TBoxes by using categorical language. In this…
cs.SC2017
Computing isomorphisms and embeddings of finite fields
Ludovic Brieulle, Luca De Feo, Javad Doliskani +2
Let be a finite field. Given two irreducible polynomials over , with dividing , the finite field embedding probl…