30 citations · 116 across the 24 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 2 cited
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Marc Aiguier, Isabelle Bloch
Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphol…
cs.LO2015
A finite basis theorem for the description logic
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 . We show that the set of General Concept Inclusions (GCIs) holding i…