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

by   Linh Anh Nguyen, et al.

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 between objects. Fuzzy extensions of DLs can be used for such domains when data and knowledge about them are vague and imprecise. One of the possible ways to specify classes of objects in such domains is to use concepts in fuzzy DLs. As DLs are variants of modal logics, indiscernibility in DLs is characterized by bisimilarity. The bisimilarity relation of an interpretation is the largest auto-bisimulation of that interpretation. In DLs and their fuzzy extensions, such equivalence relations can be used for concept learning. In this paper, we define and study fuzzy bisimulation and bisimilarity for fuzzy DLs under the Gödel semantics, as well as crisp bisimulation and strong bisimilarity for such logics extended with involutive negation. The considered logics are fuzzy extensions of the DL 𝒜ℒ𝒞_reg (a variant of PDL) with additional features among inverse roles, nominals, (qualified or unqualified) number restrictions, the universal role, local reflexivity of a role and involutive negation. We formulate and prove results on invariance of concepts under fuzzy (resp. crisp) bisimulation, conditional invariance of fuzzy TBoxex/ABoxes under bisimilarity (resp. strong bisimilarity), and the Hennessy-Milner property of fuzzy (resp. crisp) bisimulation for fuzzy DLs without (resp. with) involutive negation under the Gödel semantics. Apart from these fundamental results, we also provide results on using fuzzy bisimulation to separate the expressive powers of fuzzy DLs, as well as results on using strong bisimilarity to minimize fuzzy interpretations.


page 1

page 2

page 3

page 4


Reasoning with Very Expressive Fuzzy Description Logics

It is widely recognized today that the management of imprecision and vag...

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

The problem of minimizing finite fuzzy interpretations in fuzzy descript...

Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices

There are two kinds of bisimulation, namely crisp and fuzzy, between fuz...

Reasoning within Fuzzy Description Logics

Description Logics (DLs) are suitable, well-known, logics for managing s...

Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions

Behavioural distances provide a fine-grained measure of equivalence in s...

Description Logics with Fuzzy Concrete Domains

We present a fuzzy version of description logics with concrete domains. ...

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

Fuzzy Description Logics (DLs) provide a means for representing vague kn...

Please sign up or login with your details

Forgot password? Click here to reset