1. Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2, 189–208 (1971)
2. Nebel, B.: On the compilability and expressive power of propositional planning formalisms. J. Artif. Intell. Res. 12, 271–315 (2000)
3. W3C OWL Working Group: OWL 2 web ontology language: document overview. W3C recommendation, 27 October 2009. https://www.w3.org/TR/owl2-overview/
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press, Cambridge (2007)
5. Lecture Notes in Computer Science;A Kalyanpur,2007