A method for structural clustering proposed by the authors is extended to the case when there are externally de ned restrictions on the relations between sets and their elements. ...
Mining relational data often boils down to computing clusters, that is finding sub-communities of data elements forming cohesive sub-units, while being well separated from one an...
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...
Abstract. We present a method based on clustering techniques to detect concept drift or novelty in a knowledge base expressed in Description Logics. The method exploits an effectiv...