Verschmelzung von Wissenszusammenstellung erster Ordnung und dem Lifted Junction Tree-Algorithmus