Citation Context

...identity [24] and cardinality [25] constraints. Also in the area of conceptual modeling grammars, description logics have been proposed to represent and reason about a variety of temporal constraints =-=[26]-=-. While there are some parallels between conceptual modeling grammars (e.g., ER or UML) and XML Schema, constraint definitions for conceptual grammars naturally focus on constructs such as entity clas...

Citation Context

... of knowledge representation, underpinned by formal semantics and thus capable of providing services for effective reasoning over conceptual models; see, e.g., (Berardi, Calvanese, & De Giacomo 2005; =-=Artale et al. 2007-=-b). Temporal conceptual data models (Gregersen & Jensen 1999; Spaccapietra, Parent, & Zimanyi 2006) have been introduced in the context of temporal databases (Jensen & Snodgrass 2000; Date, Darwen, & ...

Citation Context

...elationships) with a more powerful temporal component and uses rigid axioms and roles with temporalised concepts as proposed in [8]. The resulting logic can capture some form of evolution constraints =-=[5, 18, 15]-=- thanks to the ✸ operator, e.g., to say that students will become alumni we use the rigid axiom Student ⊑ ✸Alumni. Furthermore, it also captures snapshot classes—i.e., classes whose instances do not c...

Citation Context

...oners) for automated checking of these quality properties, and so for providing an effective reasoning support for the construction phase of a conceptual model schema. Temporal conceptual data models =-=[31, 20, 21, 4, 26, 6, 15, 7, 10]-=- extend standard conceptual schemas with means to visually represent temporal constraints imposed ontemporal database instances. Temporal constraints can be grouped in three categories: timestamping,...

Citation Context

...en object- and relation- migration can be captured in the proposed framework as logical implication. To achieve this, we build upon ideas from the framework for temporal conceptual modelling in ERV T =-=[1]-=- with the ability to capture migration between relations in conceptual data models. Along these lines, we associate to the notion of relation migration a formalization in terms of a model-theoretic se...

Citation Context

...RUS (Artale et al., 2002). Indeed, while DLs have been proved useful in capturing the semantics of various conceptual data models and to provide a way to apply automatic reasoning services over them (=-=Artale et al., 2007-=-a; Berardi et al., 2005; Calvanese et al., 1998b, 1999; Franconi & Ng, 2000; Keet, 2007), temporal DLs have been applied to the same extent for temporal conceptual models (Artale & Franconi, 1999; Art...

Citation Context

...e Relation Ontology (RO) [3] contains the hitherto underused transformation of and derives from relations and several more evolution constraints have been identified for temporal conceptual modelling =-=[4]-=- that may find their way into domain ontologies. To be able to say one thing transforms into another, one has to identify the transforming entity x, the transformed entity y, and that the entity prese...

Citation Context

...thereby can represent acyclicity, transitivity, asymmetry, and (ir)reflexivity. DLRreg includes regular expressions, which includes the role composition operator and reflexive transitive closure [9]. =-=[2, 3]-=- developed a temporal version (DLRUS), which has additional Until and Since operators for temporal conceptual modelling with ERV T . 2.1 The generic common conceptual data model CMcom The formalisatio...

Citation Context

...ould be compatible with existing general purpose methodologies [12, 20, 26]. Recent research suggests that temporal requirements need careful consideration during conceptual design (see, for example, =-=[8, 11, 30, 37, 61]-=-). As indicated in an excellent survey [31], several temporal conceptual models have been proposed in prior literature. Prior approaches to temporal conceptual modeling (for example, [11, 25, 29, 30, ...