@inproceedings{DBLP:conf/birthday/CabalarS19, author = {Cabalar, Pedro and Schaub, Torsten}, title = {Temporal Logic Programs with Temporal Description Logic Axioms}, booktitle = {Description Logic, Theory Combination, and All That}, series = {Lecture Notes in Computer Science}, volume = {11560}, pages = {174--186}, publisher = {Springer}, year = {2019} }