Heiko Kattenstroth Wolfgang May Franz Schenk Combining OWL with F-Logic Rules and Defaults. 2007 ALPSWS http://ceur-ws.org/Vol-287/paper_8.pdf conf/iclp/2007alpsws db/conf/iclp/alpsws2007.html#KattenstrothMS07