Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
Marie FortinBoris KonevVladislav RyzhikovYury SavateevFrank WolterMichael ZakharyaschevPublished in: IJCAI (2023)
Keyphrases
- reverse engineering
- temporal queries
- temporal data
- temporal information
- temporal databases
- complex queries
- data model
- software engineering
- dynamic analysis
- object oriented
- databases
- business rules
- reverse engineer
- indexing techniques
- query language
- model checking
- domain ontology
- gene regulatory networks
- database
- program understanding
- artificial intelligence
- temporal events
- temporal dimension
- data mining
- heterogeneous data
- high dimensional
- temporal patterns
- temporal reasoning