Login / Signup
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
Agi Kurucz
Vladislav Ryzhikov
Yury Savateev
Michael Zakharyaschev
Published 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