Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169185934> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2169185934 endingPage "1431" @default.
- W2169185934 startingPage "1419" @default.
- W2169185934 abstract "We address the problem of how to reason about properties of knowledge transformations as they occur in distributed and decentralized interactions between large and complex artifacts, such as databases, web services, and ontologies. Based on the conceptual distinction between specifications of interactions and properties of knowledge transformations that follow from these interactions, we explore a novel mixture of process calculus and property inference by connecting interaction models with knowledge transformation rules. We aim at being generic in our exploration, hence our emphasis on abstract knowledge transformations, although we exemplify it using a lightweight specification language for interaction modeling (for which an executable peer-to-peer environment already exists) and provide a formal semantics for knowledge transformation rules using the theory of institutions. Consequently, our exploration is also an example of the gain obtained by linking current state-of-the-art distributed knowledge engineering based on web services and peer-based architectures with formal methods drawn from a long tradition in algebraic specification." @default.
- W2169185934 created "2016-06-24" @default.
- W2169185934 creator A5003060939 @default.
- W2169185934 creator A5037931423 @default.
- W2169185934 date "2011-09-01" @default.
- W2169185934 modified "2023-10-18" @default.
- W2169185934 title "Reasoning about Distributed Knowledge-Transforming Peer Interactions" @default.
- W2169185934 cites W1540442314 @default.
- W2169185934 cites W1542403019 @default.
- W2169185934 cites W1745065340 @default.
- W2169185934 cites W1969713547 @default.
- W2169185934 cites W1994326726 @default.
- W2169185934 cites W2008896880 @default.
- W2169185934 cites W2010883554 @default.
- W2169185934 cites W2022970194 @default.
- W2169185934 cites W2029867692 @default.
- W2169185934 cites W2094112778 @default.
- W2169185934 cites W2108599449 @default.
- W2169185934 cites W2111877087 @default.
- W2169185934 cites W2129100847 @default.
- W2169185934 cites W2130891285 @default.
- W2169185934 cites W2137079713 @default.
- W2169185934 cites W2164947858 @default.
- W2169185934 cites W2168103533 @default.
- W2169185934 cites W2171512229 @default.
- W2169185934 cites W2201756463 @default.
- W2169185934 cites W2479090799 @default.
- W2169185934 cites W2973533397 @default.
- W2169185934 cites W4247756142 @default.
- W2169185934 doi "https://doi.org/10.1109/tkde.2010.265" @default.
- W2169185934 hasPublicationYear "2011" @default.
- W2169185934 type Work @default.
- W2169185934 sameAs 2169185934 @default.
- W2169185934 citedByCount "4" @default.
- W2169185934 countsByYear W21691859342013 @default.
- W2169185934 countsByYear W21691859342014 @default.
- W2169185934 countsByYear W21691859342021 @default.
- W2169185934 crossrefType "journal-article" @default.
- W2169185934 hasAuthorship W2169185934A5003060939 @default.
- W2169185934 hasAuthorship W2169185934A5037931423 @default.
- W2169185934 hasConcept C116253237 @default.
- W2169185934 hasConcept C160145156 @default.
- W2169185934 hasConcept C184337299 @default.
- W2169185934 hasConcept C199360897 @default.
- W2169185934 hasConcept C2779086853 @default.
- W2169185934 hasConcept C35578498 @default.
- W2169185934 hasConcept C41008148 @default.
- W2169185934 hasConcept C56739046 @default.
- W2169185934 hasConcept C80444323 @default.
- W2169185934 hasConcept C84685590 @default.
- W2169185934 hasConceptScore W2169185934C116253237 @default.
- W2169185934 hasConceptScore W2169185934C160145156 @default.
- W2169185934 hasConceptScore W2169185934C184337299 @default.
- W2169185934 hasConceptScore W2169185934C199360897 @default.
- W2169185934 hasConceptScore W2169185934C2779086853 @default.
- W2169185934 hasConceptScore W2169185934C35578498 @default.
- W2169185934 hasConceptScore W2169185934C41008148 @default.
- W2169185934 hasConceptScore W2169185934C56739046 @default.
- W2169185934 hasConceptScore W2169185934C80444323 @default.
- W2169185934 hasConceptScore W2169185934C84685590 @default.
- W2169185934 hasIssue "9" @default.
- W2169185934 hasLocation W21691859341 @default.
- W2169185934 hasOpenAccess W2169185934 @default.
- W2169185934 hasPrimaryLocation W21691859341 @default.
- W2169185934 hasRelatedWork W12785170 @default.
- W2169185934 hasRelatedWork W1587224678 @default.
- W2169185934 hasRelatedWork W1965910013 @default.
- W2169185934 hasRelatedWork W2026046761 @default.
- W2169185934 hasRelatedWork W2051386633 @default.
- W2169185934 hasRelatedWork W2125784002 @default.
- W2169185934 hasRelatedWork W2135747418 @default.
- W2169185934 hasRelatedWork W2244075056 @default.
- W2169185934 hasRelatedWork W2894626147 @default.
- W2169185934 hasRelatedWork W1941754455 @default.
- W2169185934 hasVolume "23" @default.
- W2169185934 isParatext "false" @default.
- W2169185934 isRetracted "false" @default.
- W2169185934 magId "2169185934" @default.
- W2169185934 workType "article" @default.