Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
Agi KuruczVladislav RyzhikovYury SavateevMichael ZakharyaschevPublished in: J. Artif. Intell. Res. (2023)
Keyphrases
- regular languages
- linear temporal logic
- query language
- expressive power
- conjunctive queries
- description logics
- regular expressions
- equivalence queries
- query evaluation
- ontology based data access
- knowledge base
- finite automata
- grammatical inference
- first order logic
- temporal logic
- knowledge representation
- query processing
- database
- decision problems
- data model
- membership queries
- statistical queries
- domain ontology
- data sources
- context free grammars
- domain knowledge
- domain specific
- artificial intelligence
- model checking
- semantic information
- query answering
- positive data
- machine learning
- databases
- conceptual model