SIU Logo DSpace

SIU Knowledge Bank >
The SIU Libraries >
Reprints of Faculty & Student Publications >
School of Technology Publications (SoT) >

Please use this identifier to cite or link to this item:

Title: XML declarative description with negative constraints
Authors: Anutariya, Chutiporn
Wuwongse, Vilas
Akama, Kiyoshi
Keywords: XML
Issue Date: 2003
Type: Preprint
Series/Report no.: REP399 2003;c.1
REP399 2003;c.2
Abstract: XML Declarative Description (XDD) theory employs XMLs nested tree structure as its underlying data structure and Declarative Description theory as a framework to enhance its expressiveness. It enables direct representation of data items, encoded in XML applications, and extends their expressiveness by materializing succinct and uniform representation of implicit information, integrity constraints, conditional relationships and axioms. With the aim of enhancing XDDs expressive power, this paper presents its extension with a well-defined mechanism for formulation of negative constraints (or negation). In addition, the formulation is employed to treat arbitrary XML first-order formulae in terms of corresponding XML first-order logical constraints (FLCs)...special kind of constraints which comprise XML expressions and logical symbols...Despite its expressiveness, XDD retains precise and well-defined declarative semantics. It achieves sound, efficient and flexible computation by means of Equivalent Transformation (ET)...a new computational model, based on semantic-preserving transformations. Basic ET rules for manipulation and reasoning with negative constraints are developed and certain examples illustrated.
Description: Proceeding International Semantic Web Foundations and Application Technology (SWFAT) Workshop, Nara, Japan. (March 2003) : p.59-66.
Appears in Collections:School of Technology Publications (SoT)

Files in This Item:

File Description SizeFormat
REP399 2003.pdf395.7 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!
Powered by DSpace
Copyright © 2009-2012 Shinawatra University : Fostering Innovation
Visit our Website for more information
Contact SIU Libraries