Description Logic Programs: Combining Logic Programs with Description Logic

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Relational Database, Engineering, Databases +17

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

Engineering, Automated Reasoning, Propositional Horn Formulae +10

A correspondence theory for terminological logics: preliminary report

Klaus Schild · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 466 citations

Logic programming and knowledge representation

Chitta Baral, Michael Gelfond · The Journal of Logic Programming · 1994 · 437 citations

Knowledge Representation, Engineering, Automated Reasoning +4

On the decidability of query containment under constraints

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini · 1998 · 375 citations · Full text