Joost Vennekens Marc Denecker FO(ID) as an Extension of DL with Rules. 384-398 2009 ESWC http://dx.doi.org/10.1007/978-3-642-02121-3_30 conf/esws/2009 db/conf/esws/eswc2009.html#VennekensD09