The combination of Fuzzy Logics and Description Logics (DLs) has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. Recently, it has been shown that, in the presence of general concept inclusion axioms (GCIs), some of these fuzzy DLs actually do not have the finite model property, thus throwing doubt on the correctness of tableau algorithm for which it was claimed that they can handle fuzzy DLs with GCIs. In a previous paper, we have shown that these doubts are indeed justified, by proving that a certain fuzzy DL with product t-norm and involutive negation is undecidable. In the present paper, we show that undecidability also holds if we consider a t-norm-based fuzzy DL where disjunction and involutive negation are replaced by the constructor implication, which is interpreted as the residuum. The only condition on the t-norm is that it is a continuous t-norm "starting" with the product t-norm, which covers an uncountable family of t-norms. © 2011 Springer-Verlag.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm



    Erscheinungsdatum :

    2011-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    On scene interpretation with description logics

    Neumann, B. / Moller, R. | British Library Online Contents | 2008


    A traffic management system based on description logics

    Bechina, A. / Kullmann, M. / Keith, B. | Tema Archiv | 2000


    Developing a Maritime Safety Index using Fuzzy Logics

    Fredrik Olindersson / Wilko Bruhn / Tina Scheidweiler et al. | DOAJ | 2017

    Freier Zugriff

    Developing a maritime safety index using fuzzy logics

    Olindersson, F. / Bruhn, Wilko / Scheidweiler, Tina et al. | Fraunhofer Publica | 2017

    Freier Zugriff

    A control handling comfort model based on fuzzy logics

    Hanson, L. / Wienholt, W. / Sperling, L. | Tema Archiv | 2003