DL+log: Tight Integration of Description Logics and Disjunctive Datalog


The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge bases (DL-KBs) and Datalog programs is undecidable. Many proposals have overcomed this problem through a “safeness” condition that limits the interaction between the DL… (More)



Citations per Year

269 Citations

Semantic Scholar estimates that this publication has 269 citations based on the available data.

See our FAQ for additional information.