English
Related papers

Related papers: Conceptual Temporal Modeling Applied to Databases

200 papers

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming…

Software Engineering · Computer Science 2022-05-17 Sabah Al-Fedaghi

Representing continuous time is a critical and under-explored challenge in modeling temporal event sequences with large language models (LLMs). Various strategies like byte-level representations or calendar tokens have been proposed.…

Computation and Language · Computer Science 2026-05-12 Zefang Liu , Nam H. Nguyen , Yinzhu Quan , Shi-Xiong Zhang

Mining temporal data for information is often inhibited by a multitude of formats: irregular or multiple time intervals, point events that need aggregating, multiple observational units or repeated measurements on multiple individuals, and…

Applications · Statistics 2019-02-14 Earo Wang , Dianne Cook , Rob J Hyndman

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology…

Logic in Computer Science · Computer Science 2013-05-01 Alessandro Artale , Roman Kontchakov , Frank Wolter , Michael Zakharyaschev

This paper explores whether enhancing temporal reasoning capabilities in Large Language Models (LLMs) can improve the quality of timeline summarisation, the task of summarising long texts containing sequences of events, such as social media…

Computation and Language · Computer Science 2025-07-21 Jiayu Song , Mahmud Elahi Akhter , Dana Atzil Slonim , Maria Liakata

Properly modelling dynamic information that changes over time still is an open issue. Most modern knowledge bases are unable to represent relationships that are valid only during a given time interval. In this work, we revisit a previous…

Temporal point processes (TPPs) are crucial for analyzing events over time and are widely used in fields such as finance, healthcare, and social systems. These processes are particularly valuable for understanding how events unfold over…

Artificial Intelligence · Computer Science 2026-01-06 Lili Chen , Wensheng Gan , Shuang Liang , Philip S. Yu

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl s model) have gained popularity…

Software Engineering · Computer Science 2023-10-18 Sabah Al-Fedaghi

Recently, evolving networks are becoming a suitable form to model many real-world complex systems, due to their peculiarities to represent the systems and their constituting entities, the interactions between the entities and the…

Artificial Intelligence · Computer Science 2017-09-21 Angelo Impedovo , Corrado Loglisci , Michelangelo Ceci

Temporal data are ubiquitous in the financial services (FS) industry -- traditional data like economic indicators, operational data such as bank account transactions, and modern data sources like website clickstreams -- all of these occur…

Statistical Finance · Quantitative Finance 2020-09-15 Jason Wittenbach , Brian d'Alessandro , C. Bayan Bruss

Difficulties arise when conceptual modeling lacks ontological clarity and rigorous definitions, which is especially the case in the relationship construct. Evidence shows that use of relationships is often problematic when it comes to…

Software Engineering · Computer Science 2020-08-04 Sabah Al-Fedaghi

This paper deals with the issue of conceptual models role in capturing semantics and aligning them to serve the remaining development phases of systems design. Specifically, the entity-relationship (ER) model is selected as an example of…

Databases · Computer Science 2025-03-11 Sabah Al-Fedaghi

DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in…

Artificial Intelligence · Computer Science 2022-01-13 Dingmin Wang , Pan Hu , Przemysław Andrzej Wałęga , Bernardo Cuenca Grau

We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging…

Logic in Computer Science · Computer Science 2014-05-05 Alessandro Artale , Roman Kontchakov , Vladislav Ryzhikov , Michael Zakharyaschev

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies…

Software Engineering · Computer Science 2021-02-08 Sabah Al-Fedaghi

The general acceptance of sequence diagrams can be attributed to their relatively intuitive nature and ability to describe partial behaviors (as opposed to such diagrams as state charts). However, studies have shown that over 80 percent of…

Software Engineering · Computer Science 2021-06-01 Sabah Al-Fedaghi

Data exchange is the problem of transforming data that is structured under a source schema into data structured under another schema, called the target schema, so that both the source and target data satisfy the relationship between the…

Databases · Computer Science 2019-02-18 Ladan Golshanara , Jan Chomicki

Facts change over time, making it essential for Large Language Models (LLMs) to handle time-sensitive factual knowledge accurately and reliably. Although factual Time-Sensitive Question-Answering (TSQA) tasks have been widely developed,…

Computation and Language · Computer Science 2026-03-03 Soyeon Kim , Jindong Wang , Xing Xie , Steven Euijong Whang

The business model represents an increasingly important management concept. However, progress in research related to the concept is currently inhibited from inconsistencies in terms of formalizing and therewith also empirically measuring…

Computers and Society · Computer Science 2015-03-05 Fredrik Hacklin , Nobuaki Minato , Toma Kobayashi

Metric Temporal Logic (MTL) is a popular formalism to specify temporal patterns with timing constraints over the behavior of cyber-physical systems with application areas ranging in property-based testing, robotics, optimization, and…

Logic in Computer Science · Computer Science 2026-03-11 Dogan Ulus