Modeling and Querying XML-based P2P Information Systems: A Semantics-based Approach