Decidability of a Description Logic over Infinite-Valued Product Logic

Open in new window