On similarity in fuzzy description logics
This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-...
| Autores: | , , |
|---|---|
| Tipo de documento: | artigo |
| Data de publicação: | 2016 |
| País: | España |
| Recursos: | Universitat Autònoma de Barcelona |
| Repositório: | Dipòsit Digital de Documents de la UAB |
| Idioma: | inglês |
| OAI Identifier: | oai:ddd.uab.cat:154681 |
| Acesso em linha: | https://ddd.uab.cat/record/154681 https://dx.doi.org/urn:doi:10.1016/j.fss.2015.11.021 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Similarity relation Description logics Fuzzy description logics Attribute-value representation Similarity box |
| Resumo: | This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-norm. We propose to expand this fuzzy description logic by adding a Similarity Box (SBox) including axioms expressing properties of fuzzy equalities. We also define a global similarity between objects from similarities between the values of each object attribute (local similarities) and we prove that the global similarity defined using a t-norm inherits the usual properties of the local similarities (reflexivity, symmetry or transitivity). We also prove a result relative to global similarities expressing that, in the context of the logic MTL∀, similar objects have similar properties, being these properties expressed by predicate formulas evaluated in these objects |
|---|