Update TripleRepository.php