1. The Description Logic Handbook: Theory, Implementation, and Applications;Baader,2007
2. Exploratory Data Mining and Data Cleaning, Vol. 479;Dasu,2003
3. Ontology Development and Query Retrieval using Protégé Tool;Jain;Int. J. Intell. Syst. Appl.,2013
4. Complexity results on DPLL and resolution;Liberatore;ACM Trans. Comput. Log.,2006
5. A machine program for theorem-proving;Davis;Commun. ACM,1962