Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:49:38Z
dc.abstract.enDescription 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 DLs can be used for such domains when data and knowledge about them are vague. 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 (fuzzy) DLs, it can be used for concept learning. In this paper, for the first time, we define fuzzy bisimulation and (crisp) bisimilarity for fuzzy DLs under the Gödel semantics. The considered logics are fuzzy extensions of the DL ALCreg with additional features among inverse roles, nominals, qualified number restrictions, the universal role and local reflexivity of a role. We give results on invariance of concepts as well as conditional invariance of TBoxes and ABoxes for bisimilarity in fuzzy DLs under the Gödel semantics. We also provide a theorem on the Hennessy-Milner property for fuzzy bisimulations in fuzzy DLs under the Gödel semantics.
dc.affiliationUniwersytet Warszawski
dc.conference.countryWietnam
dc.conference.datefinish2018-08-24
dc.conference.datestart2018-08-20
dc.conference.placeQuy Nhon
dc.conference.seriesInternational Joint Conference on Rough Sets
dc.conference.seriesInternational Joint Conference on Rough Sets
dc.conference.seriesshortcutIJCRS (was RSCTC)
dc.conference.shortcutIJCRS 2018
dc.contributor.authorHa, Quang-Thuy
dc.contributor.authorNguyen, Anh Linh
dc.contributor.authorTran, Thanh-Luong
dc.contributor.authorNguyen, Thi Hong Khanh
dc.date.accessioned2024-01-25T01:42:43Z
dc.date.available2024-01-25T01:42:43Z
dc.date.issued2018
dc.description.financeNie dotyczy
dc.identifier.doi10.1007/978-3-319-99368-3_44
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/107671
dc.identifier.weblinkhttps://link.springer.com/chapter/10.1007%2F978-3-319-99368-3_44
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages559-571
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleFuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
dc.typeJournalArticle
dspace.entity.typePublication