Semantic query formulation and evaluation for XML databases | IEEE Conference Publication | IEEE Xplore