RSDL workbench results for OAEI 2015

We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff

Then, the author proposed a complete type inference algorithm for Wand's system [Rem89], but it was formalized only in the case of a nite set of labels (a previous solution given

By direct inspection, the reduced row echelon form of the corresponding matrix has two pivots, so there are 98 free variables, and the dimension is 98.. Since dim P 2 = 3, it is

We have thus identified three theories of identity among PP, and characterized with which perspective (epistemic or realist) they appear to be compatible. We have presented a

L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » ( http://rendiconti.math.unipd.it/ ) implique l’accord avec les

3 There seems to be no established terminology for this concept, and our choice of the term ’perfect’ was suggested by the established term ’perfectly normal’... A

We will call this “recall-oriented.” Figure 1 (top) shows the results of PARIS, Soft TF-IDF, and PropString on the YAGO-DBPedia property alignment task using this definition

Several adjustments had been made to enable a participation of the RSDLWB in the OAEI campaign: (1) An abstraction layer for the input models was introduced in order to enable