A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 andblp:conf/dlog/Kriegel15 fatcat:jeqrgrvq6vep5fygve3gjffjdu