Combining event calculus and description logic reasoning via logic programming
scientific article; zbMATH DE number 7497918
scientific article