Datalog and description logics: Expressive power
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 281-298
- https://doi.org/10.1007/3-540-64823-2_16
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Logical reducibility and monadic NPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Disjunctive datalogACM Transactions on Database Systems, 1997
- Querying disjunctive databases through nonmonotonic logicsTheoretical Computer Science, 1996
- Arity and alternation in second-order logicAnnals of Pure and Applied Logic, 1996
- On the relative expressiveness of description logics and predicate logicsArtificial Intelligence, 1996
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation LanguagesJournal of Logic and Computation, 1996
- Decidable Reasoning in Terminological Knowledge Representation SystemsJournal of Artificial Intelligence Research, 1993
- Finite-model theory - a personal perspectiveTheoretical Computer Science, 1993
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980
- Monadic generalized spectraMathematical Logic Quarterly, 1975