Techniques for Decidability and Undecidability of Bisimilarity.

Petr Jancar Faron Moller

Published in: CONCUR (1999)

Keyphrases

description logics
query containment
inverse roles
query answering
knowledge base
exptime complete
knowledge representation
conjunctive queries
decision procedures
transitive closure
dl lite
number restrictions
integrity constraints