Oliver Kutz Dominik Lücke Till Mossakowski Immanuel Normann The OWL in the CASL - Designing Ontologies Across Logics. 2008 OWLED http://ceur-ws.org/Vol-432/owled2008eu_submission_27.pdf conf/owled/2008 db/conf/owled/owled2008.html#KutzLMN08