![Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs – International Center for Computational Logic Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs – International Center for Computational Logic](https://iccl.inf.tu-dresden.de/w/images/thumb/8/81/David_Carral_DL_2014.pdf/page1-150px-David_Carral_DL_2014.pdf.jpg)
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs – International Center for Computational Logic
![Acyclicity Conditions and their Application to Query Answering in Description Logics – International Center for Computational Logic Acyclicity Conditions and their Application to Query Answering in Description Logics – International Center for Computational Logic](https://iccl.inf.tu-dresden.de/w/images/2/27/Kr2012.png)
Acyclicity Conditions and their Application to Query Answering in Description Logics – International Center for Computational Logic
![Pushing the Boundaries of Tractable Ontology Reasoning. – International Center for Computational Logic Pushing the Boundaries of Tractable Ontology Reasoning. – International Center for Computational Logic](https://iccl.inf.tu-dresden.de/w/images/thumb/f/f7/David_Carral_ISWC_2014.pdf/page1-150px-David_Carral_ISWC_2014.pdf.jpg)