Franz Baader Silvio Ghilardi Carsten Lutz LTL over Description Logic Axioms. 684-694 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#BaaderGL08 https://aaai.org/papers/KR08-067-ltl-over-description-logic-axioms/