Semilattice Logics for Knowledge Representationтезисы доклада