1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press (2003)
2. Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1-2), 353–367 (1996)
3. Lecture Notes in Computer Science;L. Cabral,2004
4. Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)
5. Euzenat, J., Shvaiko, P.: Ontology matching. Springer (2007)