Active Bibliography

277 Basic Description Logics – Franz Baader, Werner Nutt - 2003
195 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 2002
128 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
98 Unifying class-based representation formalisms – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi - 1999
727 Data Integration: A Theoretical Perspective – Maurizio Lenzerini - 2002
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
145 Description Logics with Concrete Domains -- A Survey – Carsten Lutz - 2003