244 citations · 366 across the 25 of their papers we have counts for
1 paper · 1 filter
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
The main result of this paper is to prove the existence of a finite basis in the description logic ALC. We show that the set of General Concept Inclusions (GCIs) holding i…