2 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…