Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989817820> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W1989817820 abstract "This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition System (KTS), is inductively defined for processes of OWL-S. Moreover, an algorithm K-F is formalized to translate KTS into FTLL. Thus, an executable subset of FTLL, Framed Tempura, can be employed to simulate OWL-S process models. In addition, an example is given to show how our method works." @default.
- W1989817820 created "2016-06-24" @default.
- W1989817820 creator A5003990194 @default.
- W1989817820 creator A5071051896 @default.
- W1989817820 date "2010-07-01" @default.
- W1989817820 modified "2023-10-18" @default.
- W1989817820 title "An Executable Concurrent Model for OWL-S Process Models" @default.
- W1989817820 cites W1239375374 @default.
- W1989817820 cites W1525931051 @default.
- W1989817820 cites W1987340323 @default.
- W1989817820 cites W2066210260 @default.
- W1989817820 cites W2115798395 @default.
- W1989817820 cites W2132498115 @default.
- W1989817820 cites W66537716 @default.
- W1989817820 doi "https://doi.org/10.1109/qsic.2010.48" @default.
- W1989817820 hasPublicationYear "2010" @default.
- W1989817820 type Work @default.
- W1989817820 sameAs 1989817820 @default.
- W1989817820 citedByCount "3" @default.
- W1989817820 countsByYear W19898178202012 @default.
- W1989817820 countsByYear W19898178202016 @default.
- W1989817820 crossrefType "proceedings-article" @default.
- W1989817820 hasAuthorship W1989817820A5003990194 @default.
- W1989817820 hasAuthorship W1989817820A5071051896 @default.
- W1989817820 hasConcept C115903868 @default.
- W1989817820 hasConcept C160145156 @default.
- W1989817820 hasConcept C199360897 @default.
- W1989817820 hasConcept C41008148 @default.
- W1989817820 hasConcept C98045186 @default.
- W1989817820 hasConceptScore W1989817820C115903868 @default.
- W1989817820 hasConceptScore W1989817820C160145156 @default.
- W1989817820 hasConceptScore W1989817820C199360897 @default.
- W1989817820 hasConceptScore W1989817820C41008148 @default.
- W1989817820 hasConceptScore W1989817820C98045186 @default.
- W1989817820 hasLocation W19898178201 @default.
- W1989817820 hasOpenAccess W1989817820 @default.
- W1989817820 hasPrimaryLocation W19898178201 @default.
- W1989817820 hasRelatedWork W1967499492 @default.
- W1989817820 hasRelatedWork W2026046761 @default.
- W1989817820 hasRelatedWork W2034731048 @default.
- W1989817820 hasRelatedWork W2166318009 @default.
- W1989817820 hasRelatedWork W2475423329 @default.
- W1989817820 hasRelatedWork W2748872428 @default.
- W1989817820 hasRelatedWork W2974582348 @default.
- W1989817820 hasRelatedWork W3162240892 @default.
- W1989817820 hasRelatedWork W3163411678 @default.
- W1989817820 hasRelatedWork W4250810083 @default.
- W1989817820 isParatext "false" @default.
- W1989817820 isRetracted "false" @default.
- W1989817820 magId "1989817820" @default.
- W1989817820 workType "article" @default.