Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
Marie FortinBoris KonevVladislav RyzhikovYury SavateevFrank WolterMichael ZakharyaschevPublished in: CoRR (2023)
Keyphrases
- query processing
- reverse engineering
- temporal queries
- temporal data
- temporal databases
- object oriented
- software engineering
- temporal information
- query optimization
- dynamic analysis
- data model
- complex queries
- databases
- model checking
- program understanding
- business rules
- domain ontology
- query language
- reverse engineer
- gene regulatory networks
- temporal dimension
- heterogeneous data
- metadata