XML Schema Representation and Reasoning: A Description Logic Method

  • Authors:
  • Xiaobing Wu;David Ratcliffe;Mark A. Cameron

  • Affiliations:
  • -;-;-

  • Venue:
  • SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.