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: http://dspace.siu.ac.th/handle/1532/558

Title: XML declarative description with first-order logical constraints
Authors: Anutariya, Chutiporn
Wuwongse, Vilas
Akama, Kiyoshi
Keywords: Knowledge representation
First-order logic
Issue Date: 2005
Type: Preprint
Series/Report no.: REP202 2005;c.1
REP202 2005;c.2
Abstract: The expressive power of XML Declarative Description (XDD), a unified XML-based representation language for the Knowledge Grid, is enhanced by a well-defined mechanism for modeling arbitrary XML first-order logical constraints (FLCs)—a special kind of constraints comprising XML expressions and logical symbols. The resulting knowledge representation can uniformly express explicit and implicit information, ontologies, axioms as well as integrity, structural and FLCs. It facilitates direct use of ordinary XML elements as its basic language component and semantic units, and formally defines XML clauses for modeling advanced complex statements. It achieves sound, efficient, and flexible computation or inference by means of the Equivalent Transformation (ET) paradigm—a new computational model based on semantic preserving transformations. BasicETcomputational rules for reasoning with XDDdescriptions with FLCs are also presented. Due to itswell-founded mechanism and expressiveness, employment of the proposed representation and computation framework to model a knowledge grid and its services not only enables direct representation of knowledge bases described by such emerging Semantic Web ontology languages as RDF(S) and OWL, but also offers additional descriptive facilities by allowing expression of and reasoning with rules, relationships, and constraints. Moreover, in order to provide machine-interpretable descriptions of knowledge grid services, standard service description languages, e.g., WSDL, UDDI, OWL-S and WSMO are employed and extended with facilities to define additional service relationships, constraints, and composition rules.
Description: Computational Intelligence. Vol. 21, No. 2 (May 2005) : p.130-156.
URI: http://dspace.siu.ac.th/handle/1532/558
Appears in Collections:School of Technology Publications (SoT)

Files in This Item:

File Description SizeFormat
REP202 2005.pdf281.12 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