1. Grigoris Antoniou and Frank van Harmelen . 2004. Web Ontology Language: OWL . Springer Berlin Heidelberg , 67--92. Grigoris Antoniou and Frank van Harmelen. 2004. Web Ontology Language: OWL. Springer Berlin Heidelberg, 67--92.
2. Pushing the EL Envelope
3. Franz Baader , Ian Horrocks , Carsten Lutz , and Ulrike Sattler . 2017. An Introduction to Description Logic . Cambridge University Press . Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press.
4. Elena Botoeva , Boris Konev , Carsten Lutz , Vladislav Ryzhikov , Frank Wolter , and Michael Zakharyaschev . 2016 . Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey . In Proc. RW'16 (Lecture Notes in Computer Science , Vol. 9885). Springer, 27-- 89 . Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. 2016. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. In Proc. RW'16 (Lecture Notes in Computer Science, Vol. 9885). Springer, 27--89.
5. Diego Calvanese , Giuseppe De Giacomo, and Maurizio Lenzerini . 1999 . Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. In Proc. IJCAI'99. Morgan Kaufmann , 84--89. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. 1999. Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. In Proc. IJCAI'99. Morgan Kaufmann, 84--89.