On decidability of concept satisfiability in Description Logic with product semantics | Publicación