Artykuł w czasopiśmie
Brak miniatury
Licencja
Bisimilarity for paraconsistent description logics
dc.abstract.en | We 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.affiliation | Uniwersytet Warszawski |
dc.contributor.author | Ha, Quang-Thuy |
dc.contributor.author | Nguyen, Anh Linh |
dc.contributor.author | Nguyen, Thi Hong Khanh |
dc.contributor.author | NGUYEN, NGOC THANH |
dc.date.accessioned | 2024-01-24T18:39:32Z |
dc.date.available | 2024-01-24T18:39:32Z |
dc.date.issued | 2017 |
dc.description.finance | Nie dotyczy |
dc.description.number | 2 |
dc.description.volume | 32 |
dc.identifier.doi | 10.3233/JIFS-169120 |
dc.identifier.issn | 1064-1246 |
dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/102363 |
dc.identifier.weblink | https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs169120 |
dc.language | eng |
dc.pbn.affiliation | computer and information sciences |
dc.relation.ispartof | Journal of Intelligent and Fuzzy Systems |
dc.relation.pages | 1203-1215 |
dc.rights | ClosedAccess |
dc.sciencecloud | nosend |
dc.subject.en | description logics |
dc.subject.en | paraconsistent logics |
dc.subject.en | bisimulation bisimilarity |
dc.title | Bisimilarity for paraconsistent description logics |
dc.type | JournalArticle |
dspace.entity.type | Publication |