Riccardo Rosati The limits and possibilities of combining Description Logics and Datalog. 3-4 2006 conf/ruleml/2006 RuleML http://doi.ieeecomputersociety.org/10.1109/RULEML.2006.22 db/conf/ruleml/ruleml2006.html#Rosati06