Semantic web modeling and programming with XDD

Abstract

XML Declarative Description (XDD) is a unified modeling language with well-defined declarative semantics. It employs XML as its bare syntax and enhances XML expressive power by provision of mechanisms for succinct and uniform expression of Semantic Web contents, rules, conditional relationships, integrity constraints and ontological axioms. Semantic Web applications, offering certain Web services and comprising the three basic modeling components: application data, application rules and logic, and users' queries and service requests, are represented in XDD language as XDD descriptions. By integration of XDD language, Equivalent Transformation computational paradigm and XML syntax, XML Equivalent Transformation (XET)---a declarative programming language for computation of XDD descriptions in Equivalent Transformation computational paradigm---is developed. By means of XDD and XET languages, a new declarative approach to the development and the execution of Semantic Web applications is constructed.