More expressive variants of exploration

Abstract

Several authors have extended the basic method of attribute exploration, as it is presented in the two previous chapters of this book, to more advanced situations, and this last chapter is devoted to such ideas. We start with rule exploration, which lifts attribute exploration in a rather naturalway to first-order predicate logic, with Horn formulas replacing implications. Next we discuss how attribute exploration can be integrated with Description Logics. However, so much substantial research has been contributed to this topic thatwe can only introduce some first ideas. The third section is devoted to concept exploration, which was already mentioned in the very first publication on Formal Concept Analysis. Three more generalizations are sketched in the fourth section, which then concludes by mentioning a few further ones.