XML Schema Representation and Reasoning: A Description Logic Method

XML plays a key role in service-oriented computing (SOC). We envisage an environment where knowledge workers are developing semantic correspondences from XML schemas to a target ontology. We would like to use DL reasoning services within this environment to assist the knowledge worker in the following three tasks: establishing the correctness of structural correspondences; the implications of correspondences; and finally, search and selection of schemas with semantic and structural constraints. A knowledge representation method for XML schemas using a description logic language is presented. With this representation method, it is now possible to use the underlying DL reasoning services to achieve our three tasks: correspondence correctness checking through DL model validation; correspondence implication through DL model completion; and finally, semantic and structural search and selection through DL model query.