On the relative expressiveness of description logics and predicate logics

Proceedings of the 30th IEEE symposium on Foundations of computer science

Zvi Galil, E. K. Blum · Foundations of Computer Science · 1994 · 651 citations

Computing, Computer Engineering, Computer Science +14

Relational queries computable in polynomial time

Neil Immerman · Information and Control · 1986 · 648 citations

Computing, Computer Science, Mathematics +14

On languages with two variables

Michael Mortimer · Mathematical logic quarterly · 1975 · 317 citations

Computing, Computer Science, Linguistics +3

The KL-ONE family

William A. Woods, James G. Schmolze · Computers & Mathematics with Applications · 1992 · 312 citations

Description logics in data management

Alexander Borgida · IEEE Transactions on Knowledge and Data Engineering · 1995 · 275 citations

Computing, Computer Science, Information Systems +12