Decidability of a Description Logic over Infinite-Valued Product Logic.

Marco Cerami, Francesc Esteva, Flix Bou

Browse the full KR paper archive.