Extension du formalisme des flux opérationnels par une algèbre temporelle

09/25/2012
by   Valmi Dufour-Lussier, et al.
0

Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which time constraints between activities can be expressed. Qualitative interval algebras can model processes using finer temporal relations, but they cannot reproduce all workflow patterns. This paper defines a common ground model-theoretical semantics for both workflows and interval algebras, making it possible for reasoning systems working with either to interoperate. Thanks to this, interesting properties and inferences can be defined, both on workflows and on an extended formalism combining workflows with interval algebras. Finally, similar formalisms proposing a sound formal basis for workflows and extending them are discussed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/31/2023

Interval Logic Tensor Networks

In this paper, we introduce Interval Real Logic (IRL), a two-sorted logi...
research
05/22/2018

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

There are two natural and well-studied approaches to temporal ontology a...
research
11/27/2019

FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language

We present, FT-SWRL, a fuzzy temporal extension to the Semantic Web Rule...
research
09/12/2018

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

There are two natural and well-studied approaches to temporal ontology a...
research
02/27/2013

Model-Based Diagnosis with Qualitative Temporal Uncertainty

In this paper we describe a framework for model-based diagnosis of dynam...
research
11/19/2019

Multimedia Search and Temporal Reasoning

Properly modelling dynamic information that changes over time still is a...

Please sign up or login with your details

Forgot password? Click here to reset