Judea Pearl
-
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems