Expressiveness of concept expressions in first-order description logics

This publication has 14 references indexed in Scilit:

• Datalog and description logics: Expressive power
  Published by Springer Nature ,1998
• The Complexity of Concept Languages
  Information and Computation, 1997
• Simulating without Negation
  Journal of Logic and Computation, 1997
• A query language and optimization techniques for unstructured data
  ACM SIGMOD Record, 1996
• On the relative expressiveness of description logics and predicate logics
  Artificial Intelligence, 1996
• First-order queries over temporal databases inexpressible in temporal logic
  Published by Springer Nature ,1996
• Back and Forth Between Modal Logic and Classical Logic
  Logic Journal of the IGPL, 1995
• Definability with bounded number of bound variables
  Information and Computation, 1989
• Relational queries computable in polynomial time
  Information and Control, 1986
• Expressive Functional Completeness in Tense Logic (Preliminary report)
  Published by Springer Nature ,1981