Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętyOn directed simulations in description logics
| cris.lastimport.scopus | 2024-02-12T20:27:46Z |
| dc.abstract.en | We study directed simulations in description logics, which are comparisons between interpretations with respect to logical consequences of the form of semi-positive concepts (like semi-positive concept assertions). Such relations are characterized by conditions similar to the ones of bisimulations. The simplest among the considered logics is a variant of PDL (propositional dynamic logic). The others extend that logic with a set of features among inverse roles, nominals, qualified number restrictions, the universal role and the concept constructor for expressing the local reflexivity of a role. The studied problems are: preservation of semi-positive concepts by directed simulations; separating the expressiveness of description logics w.r.t. semi-positive concepts and positive concepts; the Hennessy-Milner property w.r.t. semi-positive concepts and positive concepts; the relationship between bisimilarity and directed similarity; interpretation minimization that preserves semi-positive concepts. |
| dc.affiliation | Uniwersytet Warszawski |
| dc.contributor.author | Divroodi, Ali Rezaei |
| dc.contributor.author | Nguyen, Anh Linh |
| dc.date.accessioned | 2024-01-25T15:45:04Z |
| dc.date.available | 2024-01-25T15:45:04Z |
| dc.date.issued | 2017 |
| dc.description.finance | Nie dotyczy |
| dc.description.number | 7 |
| dc.description.volume | 27 |
| dc.identifier.doi | 10.1093/LOGCOM/EXX004 |
| dc.identifier.issn | 0955-792X |
| dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/114685 |
| dc.identifier.weblink | https://doi.org/10.1093/logcom/exx004 |
| dc.language | eng |
| dc.pbn.affiliation | computer and information sciences |
| dc.relation.ispartof | Journal of Logic and Computation |
| dc.relation.pages | 1955-1986 |
| dc.rights | ClosedAccess |
| dc.sciencecloud | nosend |
| dc.subject.en | description logics |
| dc.subject.en | bisimulation |
| dc.subject.en | directed simulation |
| dc.subject.en | simulation |
| dc.title | On directed simulations in description logics |
| dc.type | JournalArticle |
| dspace.entity.type | Publication |