1. The timeless way of building;Alexander,1979
2. Antoniou, G., Damasio, C. V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., et al. (2005). Combining rules and ontologies. a survey, deliverable REWERSE-DEL-2005-I3-D3. Institutionen for Datavetenskap, Linkopings Universitetet.
3. The description logic handbook: Theory, implementation and applications;Baader,2003
4. An overview of tableau algorithms for description logics;Baader;Studia Logica,2001
5. Beckett, D. (2004). RDF/XML syntax specification (revised), W3C recommendation, W3C. URL: .