28 citations · 28 across the 3 of their papers we have counts for
1 paper · 1 filter
Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
We present in this paper a reformulation of the usual set-theoretical semantics of the description logic ALC with general TBoxes by using categorical language. In this…