by Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
http://www.informatik.uni-leipzig.de/~wolter/jelia-02.ps
Add To MetaCart
Abstract:
Abstract. This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear temporal logic with Since and Until. We define a query language (where queries are non-recursive Datalog programs and atoms are complex DLRUS expressions) and investigate the problem of checking query containment under the constraints defined by DLRUS conceptual schemas---i.e., DLRUS knowledge bases---as well as the problems of schema satisfiability and logical implication. 1
Citations
|
177
|
On the decidability of query containment under constraints
– Calvanese, Giacomo, et al.
- 1998
|
|
118
|
Description logics for conceptual data modeling
– Calvanese, Lenzerini, et al.
- 1998
|
|
104
|
Temporal query languages: A survey
– Chomicki
- 1994
|
|
78
|
Many-Dimensional Modal Logics: Theory and Applications
– Gabbay, Kurucz, et al.
- 2003
|
|
74
|
Unifying class-based representation formalisms
– Calvanese, Lenzerini, et al.
- 1999
|
|
67
|
Decidable fragments of first-order temporal logics
– Hodkinson, Wolter, et al.
|
|
56
|
C.: Temporal entity-relationship models—a survey
– H, Jensen
- 1999
|
|
52
|
Temporal logic in information systems
– Chomicki, Toman
- 1998
|
|
52
|
Temporalizing description logics
– Wolter, Zakharyaschev
- 1999
|
|
46
|
The ICOM tool for intelligent conceptual modelling
– Franconi, Ng
- 2000
|
|
42
|
Satisfiability problem in description logics with modal operators
– Wolter, Zakharyaschev
- 1998
|
|
41
|
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented DataT h e A u t h o r s bases
– Franconi, Grandi, et al.
- 2000
|
|
35
|
den Bussche. Temporal versus first-order logic to querytemporal databases
– Abiteboul, Herr, et al.
- 1996
|
|
35
|
Combining terminological logics with tense logic
– Schild
- 1993
|
|
33
|
Temporal ER modeling with description logics
– Artale, Franconi
- 1999
|
|
33
|
A Survey of Temporal Extensions of Description Logics
– Artale, Franconi
- 2001
|
|
26
|
Modal description logics: modalizing roles
– Wolter, Zakharyaschev
- 1999
|
|
24
|
Conceptual modeling with description logics
– Borgida, Brachman
|
|
22
|
Modeling Time from a Conceptual Perspective
– Spaccapietra, Parent, et al.
- 1998
|
|
22
|
Emde Boas. The convenience of tilings
– van
- 1997
|
|
14
|
A tableau calculus for temporal description logic: the expanding domain case
– Sturm, Wolter
|
|
13
|
Description logics for databases
– Borgida, Lenzerini, et al.
|
|
10
|
Concept based design of data warehouses: The DWQ demonstrators
– Jarke, Quix, et al.
- 2000
|
|
9
|
Reasoning with enhanced temporal entity-relationship models
– Artale, Franconi
- 1999
|
|
8
|
A formal framework for reasoning on UML class diagrams
– Calvanese, Giacomo, et al.
- 2002
|
