1. Rule-Based Expert Systems;Abraham,2005
2. Semantic Web for the Working Ontologist;Allemang,2020
3. M. Alpuente R. Barbuti I. Ramos Declarative Programming Joint Conference on Declarative Programming 1994 Peñíscola, Spain GULP-PRODE'94.
4. The description logic handbook: Theory, implementation, and applications;Baader,2007
5. An introduction to description logic;Baader,2017