Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
24
0

Year Published

2006
2006
2018
2018

Publication Types

Select...
5
3
1

Relationship

1
8

Authors

Journals

citations
Cited by 38 publications
(26 citation statements)
references
References 16 publications
0
24
0
Order By: Relevance
“…Arguments in favor of this research path and some results related to its feasibility for a particular class of belief change theories, based on the AGM postulates (Alchourron et al 1985), have appeared in a series of papers (Flouris 2006), (Flouris et al 2006a), (Flouris & Plexousakis 2006), (Flouris et al 2004), , (Flouris et al 2006b). A similar, but less mature, proposal appears in (Kang & Lau 2004).…”
Section: State Of the Art In Ontology Evolutionmentioning
confidence: 93%
“…Arguments in favor of this research path and some results related to its feasibility for a particular class of belief change theories, based on the AGM postulates (Alchourron et al 1985), have appeared in a series of papers (Flouris 2006), (Flouris et al 2006a), (Flouris & Plexousakis 2006), (Flouris et al 2004), , (Flouris et al 2006b). A similar, but less mature, proposal appears in (Kang & Lau 2004).…”
Section: State Of the Art In Ontology Evolutionmentioning
confidence: 93%
“…The concept of signature in ASM has been replaced by the concept of WSMO ontology, which involves concepts, attributes, relations, and axioms. The concept of dynamic functions in ASM has been replaced by dynamic changes of instances and their attribute values, effectively, replacing the concept of evolving algebra [15] by the concept of evolving ontology [25]. This replacement, however, has not been formally justified so far, so in Section 3.2, we prove the equivalence of evolving algebras and evolving ontologies, filling this gap.…”
Section: Asm-based Choreography In Wsmomentioning
confidence: 99%
“…In the current work, we focus on WSMO interfaces, which mainly include choreography specification and are used in the service interaction stage. Our main contributions here can be summarized as (i) rectifying the original ASMbased choreography algorithm, (ii) proposing an F-logic specification of WSMO goal and web service choreographies as an effective alternative to the current specifications in WSML [20] and OCML [21], (iii) implementing the rectified choreography algorithm in Flora-2 [22,23] with novel technics that adhere to theory of ASMs (missing in other implementations), (iv) validating the implemented Flora-2 engine through several realistic scenarios, (v) developing a visual editor to facilitate the design and deployment of semantic web services in a subset of the Flora-2 language that we adopted as our specification language, and (vi) proving the equivalence of ASMs (also known as evolving algebras [24]) and WSMO choreography specifications (commonly called evolving ontologies [25]) by providing appropriate mappings between them.…”
Section: Introductionmentioning
confidence: 99%
“…Flouris et al (Flouris et al, 2006) use a different approach by applying the work in belief revision theory to the field of ontology evolution. They stress that automatic and computer-based evolution instead of manual change management is necessary and desirable in many contexts, a statement which resonates well with the approach proposed in this paper.…”
Section: Related Workmentioning
confidence: 99%