Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Marie FortinBoris KonevVladislav RyzhikovYury SavateevFrank WolterMichael ZakharyaschevPublished in: Description Logics (2022)
Keyphrases
- extended abstract
- reverse engineering
- temporal queries
- temporal data
- temporal databases
- temporal information
- software engineering
- complex queries
- query language
- object oriented
- data model
- databases
- dynamic analysis
- program understanding
- indexing techniques
- business rules
- model checking
- artificial intelligence
- reverse engineer
- temporal reasoning
- temporal dimension
- temporal events
- database
- database design