A tool for ramification reasoning over temporal OWL knowledge bases. - Nikos Papadakis; Stavros Boutzas (Int. J. Knowl. Based Intell. Eng. Syst., 2010)