A practical example of XML semantics

We describe a case study applying XML semantics approach to specify the consistency of holy books published in XML format. The goal of the study was to understand the application of XML semantics in a problem domain that is appropriated for the method, and to determine some of the strengths of XML semantics in this domain. The case study uses a new specification language for XML semantics (SLXS) that is employed to specify semantic rules. These semantic rules associated with the holy books, which are written in XML format, to check the variant semantic consistency problems that exist inside these holy books.