Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis

Francesco Kriegel
2015 International Workshop on Description Logics  
Formal Concept Analysis and its methods for computing minimal implicational bases have been successfully applied to axiomatise minimal EL-TBoxes from models, so called bases of GCIs. However, no technique for an adjustment of an existing EL-TBox w.r.t. a new model is available, i.e., on a model change the complete TBox has to be recomputed. This document proposes a method for the computation of a minimal extension of a TBox w.r.t. a new model. The method is then utilised to formulate an
more » ... tal learning algorithm that requires a stream of interpretations, and an expert to guide the learning process, respectively, as input.
dblp:conf/dlog/Kriegel15 fatcat:jeqrgrvq6vep5fygve3gjffjdu