Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen +2

Description logics (DLs) are a suitable formalism for representing knowledge about domains in which objects are described not only by attributes but also by binary relations betwee…