Romeo and Juliet Is EXPTIME-Complete.

Harmender Gahlawat Jan Matyás Kristan Tomás Valla

Published in: MFCS (2024)

Keyphrases

exptime complete
description logics
expressive power
data complexity
pspace complete
expressive description logics
np complete

transitive closure
decision problems
query containment
tree automata
model checking
satisfiability problem
knowledge base

query answering
knowledge representation
relational algebra
conjunctive queries
query evaluation
reasoning tasks

data exchange
first order logic
spatial databases
decision procedures
query language
artificial intelligence