1. Arenas M, Fan W, Libkin L (2002) On verifying consistency of XML specifications. In: Proceedings of PODS, pp 259–270
2. Buneman P, Davidson S, Fan W, Hara C, Tan W (2003) Reasoning about keys for XML. Inf Syst 28(8):1037–1063
3. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider PF (2003) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge
4. Bray T, Paoli J, Sperberg-McQueen CM (1998) Extensible markup language (XML). W3C recommendation
5. Bobillo F (2008) Managing vagueness in ontologies. PhD Dissertation, University of Granada, Spain