1. Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press USA.
2. I Baimuratov, Th Nguyen, R Golchin, and D Mouromtsev. 2020. Developing nonempirical metrics and tools for ontology visualizations evaluation and comparing. Scientific Visualization 12, 4 (2020).
3. Deriving sound inference rules for concept diagrams