Results 1 - 10 of 58,514

On the Expressivity and Complexity of Temporal Conceptual Modelling

by Alessandro Artale, Enrico Franconi , 2000
"... The contribution of this paper is twofold. On the one hand, it introduces T DLR, a novel temporal logic for temporal conceptual modelling, motivated as the obvious generalisation of the successful DLR Description Logic. Tight decidability and complexity results are proved for T DLR and the monodic ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
The contribution of this paper is twofold. On the one hand, it introduces T DLR, a novel temporal logic for temporal conceptual modelling, motivated as the obvious generalisation of the successful DLR Description Logic. Tight decidability and complexity results are proved for T DLR

Temporal Conceptual Modelling with DL-Lite

by A. Artale, R. Kontchakov, V. Ryzhikov, M. Zakharyaschev
"... Conceptual modelling formalisms such as the Entity-Relationship model (ER) and Unified Modelling Language (UML) have become a de facto standard in database design by providing visual means to describe application domains in a declarative and reusable way. On the other hand, both ER and UML turned ou ..."
Abstract - Cited by 5 (2 self) - Add to MetaCart
Conceptual modelling formalisms such as the Entity-Relationship model (ER) and Unified Modelling Language (UML) have become a de facto standard in database design by providing visual means to describe application domains in a declarative and reusable way. On the other hand, both ER and UML turned

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

by A. Artale, R. Kontchakov, V. Ryzhikov, M. Zakharyaschev
"... Abstract. Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality pr ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
the ‘light-weight’ DL-Lite logics obtaining nice computational results while still being able to represent various constraints of temporal conceptual models. In particular, we consider temporal extensions of DL-Lite N bool, which was shown to be adequate for capturing non-temporal conceptual models without

ST USM: Bridging the Semantic Gap with a Spatio-Temporal Conceptual Model

by Copyright C Vijay Khatri, Author(s Vijay Khatri, Richard T. Snodgrass, Richard T. Snodgrass, Christian S. Jensen (codirector, Michael H. Böhlen, Heidi Gregersen, Dieter Pfoser, Janne Skyt, Giedrius Slivinskas, Kristian Torp, Richard T. Snodgrass (codirector, Dengfeng Gao, Vijay Khatri, Vijay Khatri, Bongki Moon, Sudha Ram, Sudha Ram, Sudha Ram, Sudha Ram, Michael D. Soo, Amazon. Com, Andreas Steiner Timeconsult , 2001
"... The representation of geospatial phenomena in databases is one of the key issues in applications like geo-marketing, environmental modeling, transportation planning and geology. For these geospatial applications, there is a need for abstract concepts that would bridge the conceptual gap between the ..."
Abstract - Cited by 6 (4 self) - Add to MetaCart
conceptual model that can comprehensively capture the semantics related to space and time without adding any new spatio-temporal constructs. We provide the formal semantics of ST USM via a mapping to conventional USM and constraints, from which the logical schema can be derived. We illustrate practical

Seamless (and Temporal) Conceptual Modeling of Business Process Information

by Carlo Combi, Sara Degani
"... Abstract. There are a number of aspects to be considered when mod-eling a business process, and research has mainly focused on the control flow perspective. The conceptual modeling of process-related information has been mainly left to traditional data models, like the ER model or UML class and obje ..."
Abstract - Add to MetaCart
information in each single process case. Key words: business process, temporal conceptual modelling, data per-spective 1

Romantic Love Conceptualized as an Attachment Process,”

by Cindy Hazan , Phillip Shaver , Mary Ainsworth , John Bowlby , Harry Gollob , Kirk-Patrick Lee , Roger Kobak , Anne Peplau , Harry Reis , Judith Schwartz , Ar-Lene Skolnick , Robert Sternberg - Journal of Personality and Social Psychology, , 1987
"... This article explores the possibility that romantic love is an attachment process--a biosocial process by which affectional bonds are formed between adult lovers, just as affectional bonds are formed earlier in life between human infants and their parents. Key components of attachment theory, devel ..."
Abstract - Cited by 729 (18 self) - Add to MetaCart
that continuity of relationship style is due in part to mental models (Bowlby's "inner working models") of self and social life. These models, and hence a person's attachment style, are seen as determined in part by childhood relationships with parents. Two questionnaire studies indicated

Alternating-time Temporal Logic

by Rajeev Alur, Thomas Henzinger, Orna Kupferman - Journal of the ACM , 1997
"... Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general var ..."
Abstract - Cited by 620 (53 self) - Add to MetaCart
Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general

Spatio-temporal energy models for the Perception of Motion

by Edward H. Adelson, James R. Bergen - J. OPT. SOC. AM. A , 1985
"... A motion sequence may be represented as a single pattern in x-y-t space; a velocity of motion corresponds to a three-dimensional orientation in this space. Motion sinformation can be extracted by a system that responds to the oriented spatiotemporal energy. We discuss a class of models for human mot ..."
Abstract - Cited by 904 (9 self) - Add to MetaCart
A motion sequence may be represented as a single pattern in x-y-t space; a velocity of motion corresponds to a three-dimensional orientation in this space. Motion sinformation can be extracted by a system that responds to the oriented spatiotemporal energy. We discuss a class of models for human

Maintaining knowledge about temporal intervals

by James F. Allen - COMMUNICATION OF ACM , 1983
"... The problem of representing temporal knowledge arises in many areas of computer science. In applications in which such knowledge is imprecise or relative, current representations based on date lines or time instants are inadequate. An interval-based temporal logic is introduced, together WiUl a comp ..."
Abstract - Cited by 2942 (13 self) - Add to MetaCart
The problem of representing temporal knowledge arises in many areas of computer science. In applications in which such knowledge is imprecise or relative, current representations based on date lines or time instants are inadequate. An interval-based temporal logic is introduced, together WiUl a

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

by Maria Fox, Derek Long , 2003
"... In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, ..."
Abstract - Cited by 609 (41 self) - Add to MetaCart
, planetary rover exploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet
Results 1 - 10 of 58,514