Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963830853> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2963830853 endingPage "669" @default.
- W2963830853 startingPage "652" @default.
- W2963830853 abstract "We study comparisons between interpretations in description logics with respect to “logical consequences” of the form of semipositive concepts (like semi-positive concept assertions). Such comparisons 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 inverse roles, nominals, quantified number restrictions, the universal role, and/or the concept constructor for expressing the local reflexivity of a role. The studied problems are: preservation of semi-positive concepts with respect to comparisons, the Hennessy-Milner property for comparisons, and minimization of interpretations that preserves semi-positive concepts." @default.
- W2963830853 created "2019-07-30" @default.
- W2963830853 creator A5025997667 @default.
- W2963830853 creator A5055424683 @default.
- W2963830853 date "2013-04-01" @default.
- W2963830853 modified "2023-09-23" @default.
- W2963830853 title "Bisimulation-Based Comparisons for Interpretations in Description Logics" @default.
- W2963830853 cites W107094955 @default.
- W2963830853 cites W133872505 @default.
- W2963830853 cites W1503586736 @default.
- W2963830853 cites W1547562281 @default.
- W2963830853 cites W1606647729 @default.
- W2963830853 cites W1656302973 @default.
- W2963830853 cites W1710605610 @default.
- W2963830853 cites W1964193987 @default.
- W2963830853 cites W1978469611 @default.
- W2963830853 cites W1991261216 @default.
- W2963830853 cites W2043010480 @default.
- W2963830853 cites W2044241623 @default.
- W2963830853 cites W2068458083 @default.
- W2963830853 cites W2092428394 @default.
- W2963830853 cites W2126382654 @default.
- W2963830853 cites W2138073201 @default.
- W2963830853 cites W2167127074 @default.
- W2963830853 cites W2167608641 @default.
- W2963830853 cites W129686139 @default.
- W2963830853 cites W2611500032 @default.
- W2963830853 cites W3144429871 @default.
- W2963830853 hasPublicationYear "2013" @default.
- W2963830853 type Work @default.
- W2963830853 sameAs 2963830853 @default.
- W2963830853 citedByCount "4" @default.
- W2963830853 countsByYear W29638308532014 @default.
- W2963830853 countsByYear W29638308532015 @default.
- W2963830853 countsByYear W29638308532016 @default.
- W2963830853 crossrefType "journal-article" @default.
- W2963830853 hasAuthorship W2963830853A5025997667 @default.
- W2963830853 hasAuthorship W2963830853A5055424683 @default.
- W2963830853 hasConcept C111472728 @default.
- W2963830853 hasConcept C118615104 @default.
- W2963830853 hasConcept C13200473 @default.
- W2963830853 hasConcept C135315306 @default.
- W2963830853 hasConcept C138885662 @default.
- W2963830853 hasConcept C144024400 @default.
- W2963830853 hasConcept C189950617 @default.
- W2963830853 hasConcept C199360897 @default.
- W2963830853 hasConcept C2780069185 @default.
- W2963830853 hasConcept C33923547 @default.
- W2963830853 hasConcept C36289849 @default.
- W2963830853 hasConcept C41008148 @default.
- W2963830853 hasConcept C69562738 @default.
- W2963830853 hasConcept C70846408 @default.
- W2963830853 hasConcept C80444323 @default.
- W2963830853 hasConceptScore W2963830853C111472728 @default.
- W2963830853 hasConceptScore W2963830853C118615104 @default.
- W2963830853 hasConceptScore W2963830853C13200473 @default.
- W2963830853 hasConceptScore W2963830853C135315306 @default.
- W2963830853 hasConceptScore W2963830853C138885662 @default.
- W2963830853 hasConceptScore W2963830853C144024400 @default.
- W2963830853 hasConceptScore W2963830853C189950617 @default.
- W2963830853 hasConceptScore W2963830853C199360897 @default.
- W2963830853 hasConceptScore W2963830853C2780069185 @default.
- W2963830853 hasConceptScore W2963830853C33923547 @default.
- W2963830853 hasConceptScore W2963830853C36289849 @default.
- W2963830853 hasConceptScore W2963830853C41008148 @default.
- W2963830853 hasConceptScore W2963830853C69562738 @default.
- W2963830853 hasConceptScore W2963830853C70846408 @default.
- W2963830853 hasConceptScore W2963830853C80444323 @default.
- W2963830853 hasLocation W29638308531 @default.
- W2963830853 hasOpenAccess W2963830853 @default.
- W2963830853 hasPrimaryLocation W29638308531 @default.
- W2963830853 hasRelatedWork W1210449879 @default.
- W2963830853 hasRelatedWork W1556894108 @default.
- W2963830853 hasRelatedWork W1710605610 @default.
- W2963830853 hasRelatedWork W1964193987 @default.
- W2963830853 hasRelatedWork W2024618947 @default.
- W2963830853 hasRelatedWork W2056412887 @default.
- W2963830853 hasRelatedWork W206869677 @default.
- W2963830853 hasRelatedWork W2071472291 @default.
- W2963830853 hasRelatedWork W2138073201 @default.
- W2963830853 hasRelatedWork W2495156561 @default.
- W2963830853 hasRelatedWork W2522871695 @default.
- W2963830853 hasRelatedWork W2593401383 @default.
- W2963830853 hasRelatedWork W2952004916 @default.
- W2963830853 hasRelatedWork W2965030146 @default.
- W2963830853 hasRelatedWork W2997258925 @default.
- W2963830853 hasRelatedWork W3032338208 @default.
- W2963830853 hasRelatedWork W3049549325 @default.
- W2963830853 hasRelatedWork W3201426572 @default.
- W2963830853 hasRelatedWork W2024962155 @default.
- W2963830853 hasRelatedWork W2464217860 @default.
- W2963830853 isParatext "false" @default.
- W2963830853 isRetracted "false" @default.
- W2963830853 magId "2963830853" @default.
- W2963830853 workType "article" @default.