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

Bisimilarity for paraconsistent description logics

Uproszczony widok
dc.abstract.enWe introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t. information in paraconsistent description logics. As consequences, we obtain also invariance results and the Hennessy-Milner property for bisimilarity in paraconsistent description logics.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorHa, Quang-Thuy
dc.contributor.authorNguyen, Anh Linh
dc.contributor.authorNguyen, Thi Hong Khanh
dc.contributor.authorNGUYEN, NGOC THANH
dc.date.accessioned2024-01-24T18:39:32Z
dc.date.available2024-01-24T18:39:32Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.description.number2
dc.description.volume32
dc.identifier.doi10.3233/JIFS-169120
dc.identifier.issn1064-1246
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/102363
dc.identifier.weblinkhttps://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs169120
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofJournal of Intelligent and Fuzzy Systems
dc.relation.pages1203-1215
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.endescription logics
dc.subject.enparaconsistent logics
dc.subject.enbisimulation bisimilarity
dc.titleBisimilarity for paraconsistent description logics
dc.typeJournalArticle
dspace.entity.typePublication