A DOCUMENT RULES DESCRIPTION LANGUAGE BASED ON FEATURE LOGIC FOR XML DOCUMENT EXCHANGE

Makoto Imamura, Yasuhiro Takayama, Yasuhiro Okada, Norihisa Komoda

Abstract

We propose a minimum Document Rules Description Language DRDL for XML validation and translation in web-based document exchange. DRDL has small syntax and simple semantics so that it can ease to reuse document rules. Furthermore, DRDL can describe mapping constraints from XML tree structure to table structure for web input-form generation. The technical feature of DRDL is to extend and reinterpret a Feature Logic, which has been used for representing linguistic knowledge, in order to allow existential and universal quantifiers over list-value to cope with XML. DRDL has already been applied to real systems such as elevator design support, Web-EDI, government-to-business and facility management.

References

  1. Daum,B. 2003, Validation beyond XML Schema, Modelling Business Objects with XML Schema, Morgan Kaufmann Publishers, pp.323 -362.
  2. Imamura, M. et al. 2000. Metadata representation for Internet-based XML application from business to government, in proc. of 7th International Conference on Parallel and Distributed Systems Workshops, pp.387-392.
  3. Imamura, M. et al. 2005. An XML Input Form Generation Method Based on a Tree-table mapping Model, Transactions of Information Processing Society of Japan, Vol.46 No.12, pp3066-3077.
  4. Jaffar,J. and Maher,M.J. 1994. Constraint Logic Programming: A Survey, Journal of Logic Programming 19, 20 pp.503-581.
  5. Jelliffe, R., 2004. The Schematron, http://xml.ascc.net/ schematron/
  6. Klarlund, N., Anders Møller,A., Schwartzbach ,M.I. 2002, The DSD Schema Language, Automated Software Engineering 9 3, 285-319
  7. Laborda, C. P. and Conrad, S. 2005. Relational.OWL, in proc. of Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), pp.89-96.
  8. Mukai, K. 1991. Constraint Logic Programming and the Unification of Information, Doctoral Dissertation, Dept. of Computer Science, Faculty of Engineering, Tokyo.
  9. Murata, M., Lee, D., Mani, M., Kawaguchi,K, 2005. Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology (TOIT) Volume 5 ,Issue 4, pp.660-704
  10. Reveliotis, P., Carey, M., 2006. Your Enterprise on XQuery and XML Schema: XML-based Data and Metadata Integration, in proc. of 22nd International Conference on Data Engineering Workshops, pp80 - 89.
  11. Schaffert,S. 2004, Xcerpt: A Rule-based Query and Transformation Language for the Web, http://edoc.ub.uni-muenchen.de/archive/
  12. Shieber, S. M. 1986. An Introduction to Unification-based Approaches to Grammar, CSLI Lecture Notes Number4, Stanford University
  13. Smolka, G. 1992. Feature Constraint Logics for Unification Grammars, Journal of Logic Programming, New York, PP51-87.
  14. Tang,X. and Tompa,F.W. 2001. Specifying Transformations for Structured Documents, Proc. of the 4th International Workshop on the Web and Databases, pp.67-72
Download


Paper Citation


in Harvard Style

Imamura M., Takayama Y., Okada Y. and Komoda N. (2007). A DOCUMENT RULES DESCRIPTION LANGUAGE BASED ON FEATURE LOGIC FOR XML DOCUMENT EXCHANGE . In Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007) ISBN 978-989-8111-11-1, pages 71-77. DOI: 10.5220/0002111800710077


in Bibtex Style

@conference{ice-b07,
author={Makoto Imamura and Yasuhiro Takayama and Yasuhiro Okada and Norihisa Komoda},
title={A DOCUMENT RULES DESCRIPTION LANGUAGE BASED ON FEATURE LOGIC FOR XML DOCUMENT EXCHANGE},
booktitle={Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007)},
year={2007},
pages={71-77},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002111800710077},
isbn={978-989-8111-11-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007)
TI - A DOCUMENT RULES DESCRIPTION LANGUAGE BASED ON FEATURE LOGIC FOR XML DOCUMENT EXCHANGE
SN - 978-989-8111-11-1
AU - Imamura M.
AU - Takayama Y.
AU - Okada Y.
AU - Komoda N.
PY - 2007
SP - 71
EP - 77
DO - 10.5220/0002111800710077