@conference {3776, title = {Decidability of a Description Logic over infinite-valued Product Logic(extended abstract)}, booktitle = {3st LINZ seminar: Lattice-valued Logic and its Applications}, year = {2010}, month = {9/02/2010}, pages = {21-25}, author = {Marco Cerami and Francesc Esteva and F{\`e}lix Bou}, editor = {P.Cintul, E.P.Klement, L.N.Stout} }