FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366448142> ?p ?o ?g. }

• W4366448142 endingPage "240" @default.
• W4366448142 startingPage "220" @default.
• W4366448142 abstract "Abstract Knowledge bases have been extensively used to represent and reason about static domain knowledge. In this work, we show how to enforce domain knowledge about dynamic processes to guide executions at runtime. To do so, we map the execution trace to a knowledge base and require that this mapped knowledge base is always consistent with the domain knowledge. This means that we treat the consistency with domain knowledge as an invariant of the execution trace. This way, the domain knowledge guides the execution by determining the next possible steps, i.e., by exploring which steps are possible and rejecting those resulting in an inconsistent knowledge base. Using this invariant directly at runtime can be computationally heavy, as it requires to check the consistency of a large logical theory. Thus, we provide a transformation that generates a system which is able to perform the check only on the past events up to now, by evaluating a smaller formula. This transformation is transparent to domain users, who can interact with the transformed system in terms of the domain knowledge, e.g., to query computation results. Furthermore, we discuss different mapping strategies." @default.
• W4366448142 created "2023-04-22" @default.
• W4366448142 creator A5005820927 @default.
• W4366448142 creator A5017183107 @default.
• W4366448142 date "2023-01-01" @default.
• W4366448142 modified "2023-09-26" @default.
• W4366448142 title "Runtime Enforcement Using Knowledge Bases" @default.
• W4366448142 cites W1480909796 @default.
• W4366448142 cites W1483412176 @default.
• W4366448142 cites W1492621190 @default.
• W4366448142 cites W2005484623 @default.
• W4366448142 cites W2023808162 @default.
• W4366448142 cites W2026807253 @default.
• W4366448142 cites W2036910349 @default.
• W4366448142 cites W2045474169 @default.
• W4366448142 cites W2089178595 @default.
• W4366448142 cites W2096578078 @default.
• W4366448142 cites W2134193499 @default.
• W4366448142 cites W2151164148 @default.
• W4366448142 cites W2160035883 @default.
• W4366448142 cites W2293595599 @default.
• W4366448142 cites W2296215010 @default.
• W4366448142 cites W2597626586 @default.
• W4366448142 cites W2600455691 @default.
• W4366448142 cites W2604528368 @default.
• W4366448142 cites W2751426875 @default.
• W4366448142 cites W2770093575 @default.
• W4366448142 cites W2838709227 @default.
• W4366448142 cites W2909498174 @default.
• W4366448142 cites W2913207760 @default.
• W4366448142 cites W2966447359 @default.
• W4366448142 cites W2969477420 @default.
• W4366448142 cites W2974225674 @default.
• W4366448142 cites W2977986977 @default.
• W4366448142 cites W2999843026 @default.
• W4366448142 cites W3132660874 @default.
• W4366448142 cites W3165531458 @default.
• W4366448142 cites W3184529109 @default.
• W4366448142 cites W3210557803 @default.
• W4366448142 cites W3216234903 @default.
• W4366448142 cites W4285535869 @default.
• W4366448142 cites W96249932 @default.
• W4366448142 doi "https://doi.org/10.1007/978-3-031-30826-0_12" @default.
• W4366448142 hasPublicationYear "2023" @default.
• W4366448142 type Work @default.
• W4366448142 citedByCount "0" @default.
• W4366448142 crossrefType "book-chapter" @default.
• W4366448142 hasAuthorship W4366448142A5005820927 @default.
• W4366448142 hasAuthorship W4366448142A5017183107 @default.
• W4366448142 hasBestOaLocation W43664481421 @default.
• W4366448142 hasConcept C115925183 @default.
• W4366448142 hasConcept C121332964 @default.
• W4366448142 hasConcept C124101348 @default.
• W4366448142 hasConcept C134306372 @default.
• W4366448142 hasConcept C138885662 @default.
• W4366448142 hasConcept C154945302 @default.
• W4366448142 hasConcept C190470478 @default.
• W4366448142 hasConcept C199360897 @default.
• W4366448142 hasConcept C207685749 @default.
• W4366448142 hasConcept C2776436953 @default.
• W4366448142 hasConcept C33923547 @default.
• W4366448142 hasConcept C36503486 @default.
• W4366448142 hasConcept C37914503 @default.
• W4366448142 hasConcept C41008148 @default.
• W4366448142 hasConcept C41895202 @default.
• W4366448142 hasConcept C4554734 @default.
• W4366448142 hasConcept C75291252 @default.
• W4366448142 hasConcept C80444323 @default.
• W4366448142 hasConceptScore W4366448142C115925183 @default.
• W4366448142 hasConceptScore W4366448142C121332964 @default.
• W4366448142 hasConceptScore W4366448142C124101348 @default.
• W4366448142 hasConceptScore W4366448142C134306372 @default.
• W4366448142 hasConceptScore W4366448142C138885662 @default.
• W4366448142 hasConceptScore W4366448142C154945302 @default.
• W4366448142 hasConceptScore W4366448142C190470478 @default.
• W4366448142 hasConceptScore W4366448142C199360897 @default.
• W4366448142 hasConceptScore W4366448142C207685749 @default.
• W4366448142 hasConceptScore W4366448142C2776436953 @default.
• W4366448142 hasConceptScore W4366448142C33923547 @default.
• W4366448142 hasConceptScore W4366448142C36503486 @default.
• W4366448142 hasConceptScore W4366448142C37914503 @default.
• W4366448142 hasConceptScore W4366448142C41008148 @default.
• W4366448142 hasConceptScore W4366448142C41895202 @default.
• W4366448142 hasConceptScore W4366448142C4554734 @default.
• W4366448142 hasConceptScore W4366448142C75291252 @default.
• W4366448142 hasConceptScore W4366448142C80444323 @default.
• W4366448142 hasLocation W43664481421 @default.
• W4366448142 hasOpenAccess W4366448142 @default.
• W4366448142 hasPrimaryLocation W43664481421 @default.
• W4366448142 hasRelatedWork W1523252224 @default.
• W4366448142 hasRelatedWork W1533359527 @default.
• W4366448142 hasRelatedWork W1564723020 @default.
• W4366448142 hasRelatedWork W205123771 @default.
• W4366448142 hasRelatedWork W2295405411 @default.
• W4366448142 hasRelatedWork W2364023888 @default.
• W4366448142 hasRelatedWork W2367100754 @default.
• W4366448142 hasRelatedWork W2385621242 @default.
• W4366448142 hasRelatedWork W2397750425 @default.

• next