2010
DOI: 10.1007/978-3-642-16961-8_70
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tuples of a relation (ORM facts) can evolve along time. We identify different ways how a relation can change over time and give a logicbased semantics to the notion of relation migration to capture its behaviour. We also introduce the notion of lifespan of a relation and clarify the interactions between object migration and relation migr… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2013
2013
2017
2017

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 8 publications
0
2
0
Order By: Relevance
“…Observe that there is no change in semantic rules because the algorithm for the extensions is checked against a (generalized) ABox [13]. DLR U S has the Until and Since operators for temporal ontologies and EER conceptual data models (ER V T ) [5,2], which has been used for modeling essential parthood [3], relation migration [42]. Generally, temporal extensions are very useful to represent constraints in molecular biology, such as formally characterizing that some enzymatic reaction happens only after another, precedes it, or happens concurrently.…”
Section: Description Logics For Conceptual Data Modelingmentioning
confidence: 99%
See 1 more Smart Citation
“…Observe that there is no change in semantic rules because the algorithm for the extensions is checked against a (generalized) ABox [13]. DLR U S has the Until and Since operators for temporal ontologies and EER conceptual data models (ER V T ) [5,2], which has been used for modeling essential parthood [3], relation migration [42]. Generally, temporal extensions are very useful to represent constraints in molecular biology, such as formally characterizing that some enzymatic reaction happens only after another, precedes it, or happens concurrently.…”
Section: Description Logics For Conceptual Data Modelingmentioning
confidence: 99%
“…This can be an object instantiating different classes at different points in time (called object migration), attributes that hold for a specific duration, or the relation between objects changes (relation migration). For instance, each immune system cell Macrophage must have been an instance of Monocyte beforehand, i.e., it "dynamically evolved" (dev − ) [37], the value for DNA's attribute hasFoldingState changes to unfolded only for the duration that it is being transcribed, and the enzyme inheres in the molecule that is also a substrate in an autocatalytic reaction, so the interaction "dynamically extends" (Rdex) [42] to autoCatalysis, where Rdex can be defined using a temporal interpretation [42]:…”
Section: More Expressive Languagesmentioning
confidence: 99%