Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

by   Linh Anh Nguyen, et al.

The problem of minimizing finite fuzzy interpretations in fuzzy description logics (FDLs) is worth studying. For example, the structure of a fuzzy/weighted social network can be treated as a fuzzy interpretation in FDLs, where actors are individuals and actions are roles. Minimizing the structure of a fuzzy/weighted social network makes it more compact, thus making network analysis tasks more efficient. In this work, we study the problem of minimizing a finite fuzzy interpretation in a FDL by using the largest crisp auto-bisimulation. The considered FDLs use the Baaz projection operator and their semantics is specified using an abstract algebra of fuzzy truth values, which can be any linear and complete residuated lattice. We provide an efficient algorithm with a complexity of O((m logl + n) logn) for minimizing a given finite fuzzy interpretation ℐ, where n is the size of the domain of ℐ, m is number of nonzero instances of atomic roles of ℐ and l is the number of different fuzzy values used for instances of atomic roles of ℐ. We prove that the fuzzy interpretation returned by the algorithm is minimal among the ones that preserve fuzzy TBoxes and ABoxes under certain conditions.


page 1

page 2

page 3

page 4


Computing Crisp Bisimulations for Fuzzy Structures

Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...

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

Description logics (DLs) are a suitable formalism for representing knowl...

Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure

Fuzzy graph-based structures such as fuzzy automata, fuzzy labeled trans...

On the Failure of the Finite Model Property in some Fuzzy Description Logics

Fuzzy Description Logics (DLs) are a family of logics which allow the re...

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

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

Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

Like bisimulations, simulations and directed simulations are used for an...

An Empirical Approach for Modeling Fuzzy Geographical Descriptors

We present a novel heuristic approach that defines fuzzy geographical de...

Please sign up or login with your details

Forgot password? Click here to reset