Matches in SemOpenAlex for { <https://semopenalex.org/work/W85342207> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W85342207 endingPage "528" @default.
- W85342207 startingPage "514" @default.
- W85342207 abstract "Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, we enrich the KAB setting with contextual information, making use of different context dimensions. On the one hand, context is determined by the environment using context-changing actions that make use of the current state of the KB and the current context. On the other hand, it affects the set of TBox assertions that are relevant at each time point, and that have to be considered when processing queries posed over the KAB. Here we extend to our enriched setting the results on verification of rich temporal properties expressed in μ-calculus, which had been established for standard KABs. Specifically, we show that under a run-boundedness condition, verification stays decidable and does not incur in any additional cost in terms of worst-case complexity.We also show how to adapt syntactic conditions ensuring run-boundedness so as to account for contextual information, taking into account context-dependent activation of TBox assertions." @default.
- W85342207 created "2016-06-24" @default.
- W85342207 creator A5006230226 @default.
- W85342207 creator A5015284678 @default.
- W85342207 creator A5047795784 @default.
- W85342207 creator A5077723508 @default.
- W85342207 date "2014-01-01" @default.
- W85342207 modified "2023-09-23" @default.
- W85342207 title "Verification of Context-Sensitive Knowledge and Action Bases" @default.
- W85342207 cites W1493157034 @default.
- W85342207 cites W1528446492 @default.
- W85342207 cites W1566967753 @default.
- W85342207 cites W1573078772 @default.
- W85342207 cites W1901458136 @default.
- W85342207 cites W1979159285 @default.
- W85342207 cites W2002333089 @default.
- W85342207 cites W2029832576 @default.
- W85342207 cites W2034544412 @default.
- W85342207 cites W2062569786 @default.
- W85342207 cites W2083212689 @default.
- W85342207 cites W2099613024 @default.
- W85342207 cites W2102729564 @default.
- W85342207 cites W2137862151 @default.
- W85342207 cites W2163133050 @default.
- W85342207 cites W2166288349 @default.
- W85342207 cites W2174287231 @default.
- W85342207 cites W228152326 @default.
- W85342207 cites W85342207 @default.
- W85342207 cites W93175922 @default.
- W85342207 doi "https://doi.org/10.1007/978-3-319-11558-0_36" @default.
- W85342207 hasPublicationYear "2014" @default.
- W85342207 type Work @default.
- W85342207 sameAs 85342207 @default.
- W85342207 citedByCount "6" @default.
- W85342207 countsByYear W853422072014 @default.
- W85342207 countsByYear W853422072018 @default.
- W85342207 countsByYear W853422072019 @default.
- W85342207 countsByYear W853422072022 @default.
- W85342207 crossrefType "book-chapter" @default.
- W85342207 hasAuthorship W85342207A5006230226 @default.
- W85342207 hasAuthorship W85342207A5015284678 @default.
- W85342207 hasAuthorship W85342207A5047795784 @default.
- W85342207 hasAuthorship W85342207A5077723508 @default.
- W85342207 hasBestOaLocation W853422072 @default.
- W85342207 hasConcept C121332964 @default.
- W85342207 hasConcept C151730666 @default.
- W85342207 hasConcept C153269930 @default.
- W85342207 hasConcept C154945302 @default.
- W85342207 hasConcept C177264268 @default.
- W85342207 hasConcept C199360897 @default.
- W85342207 hasConcept C22497172 @default.
- W85342207 hasConcept C2524010 @default.
- W85342207 hasConcept C2779343474 @default.
- W85342207 hasConcept C2780791683 @default.
- W85342207 hasConcept C28719098 @default.
- W85342207 hasConcept C33923547 @default.
- W85342207 hasConcept C41008148 @default.
- W85342207 hasConcept C48103436 @default.
- W85342207 hasConcept C62520636 @default.
- W85342207 hasConcept C80444323 @default.
- W85342207 hasConcept C86803240 @default.
- W85342207 hasConceptScore W85342207C121332964 @default.
- W85342207 hasConceptScore W85342207C151730666 @default.
- W85342207 hasConceptScore W85342207C153269930 @default.
- W85342207 hasConceptScore W85342207C154945302 @default.
- W85342207 hasConceptScore W85342207C177264268 @default.
- W85342207 hasConceptScore W85342207C199360897 @default.
- W85342207 hasConceptScore W85342207C22497172 @default.
- W85342207 hasConceptScore W85342207C2524010 @default.
- W85342207 hasConceptScore W85342207C2779343474 @default.
- W85342207 hasConceptScore W85342207C2780791683 @default.
- W85342207 hasConceptScore W85342207C28719098 @default.
- W85342207 hasConceptScore W85342207C33923547 @default.
- W85342207 hasConceptScore W85342207C41008148 @default.
- W85342207 hasConceptScore W85342207C48103436 @default.
- W85342207 hasConceptScore W85342207C62520636 @default.
- W85342207 hasConceptScore W85342207C80444323 @default.
- W85342207 hasConceptScore W85342207C86803240 @default.
- W85342207 hasLocation W853422071 @default.
- W85342207 hasLocation W853422072 @default.
- W85342207 hasOpenAccess W85342207 @default.
- W85342207 hasPrimaryLocation W853422071 @default.
- W85342207 hasRelatedWork W1495931063 @default.
- W85342207 hasRelatedWork W1554830210 @default.
- W85342207 hasRelatedWork W1592054251 @default.
- W85342207 hasRelatedWork W17910728 @default.
- W85342207 hasRelatedWork W2099613024 @default.
- W85342207 hasRelatedWork W2166247150 @default.
- W85342207 hasRelatedWork W2245963482 @default.
- W85342207 hasRelatedWork W2949214568 @default.
- W85342207 hasRelatedWork W3022125085 @default.
- W85342207 hasRelatedWork W4290000044 @default.
- W85342207 isParatext "false" @default.
- W85342207 isRetracted "false" @default.
- W85342207 magId "85342207" @default.
- W85342207 workType "book-chapter" @default.