Hi,

Through the usage of the time steps the reasoning always takes the last value in time but in my case I am interested in the consistency of the last value and the actions which were performed. So the question is if there is a possibility to check if the ontology is consistent within knowrob? Especially is it possible to check if a projection of actions is consistent with the sensor readings. Or is there a possibility to export the current state of the knowrob to Cyc or similar knowledge bases?