CIF<-> XML Translation Module
=============================

This is a quick & dirty release of the CIF<->XML translation module.

Demo
====

For a quick demo, look at "kraft/agents/kraft_ix_adaptor/test.pl".
Examples of constraints, queries & results are in "test_constraint.pl",
"test_query.pl" & "test_result.pl" in the same directory.

Usage
=====
The CIF<->XML mapping module is in "kraft/prolog/util/cif2xml.pl".
There are 3 exported predicates in this module:

	cif2xml/3
	query2xml/3
	result2xml/3

All 3 predicates take the form: predicate(+Param_list,?Cif,?Xml).

Param_list is a list of parameters in the form X=Y. Recognised parameters
are:

	representation	=	the atom 'compact' or 'classic'
				This controls the representation of boolean expressions.
	domain_rdfs	=	URL of the domain model in RDFS
	constraint_id	=	the atom 'generate' or a list of atoms
				When 'generate' is used, a generic ID with a number is generated by the system.
				When a list of atoms is given, IDs will be taken from the list.

When argument "Cif" is instantiated, cif2xml/3 will map it into the corresponding XML tree
representation (in Pillow). You can print out the XML tree by "print_xml/3" in
the module "kraft/prolog/util/print_xml.pl". If you want to map the XML structure
tree into CIF, just instantiate argument "Xml".



Other info.
===========
See http://www.csd.abdn.ac.uk/~khui/akt/cif for more informatin on the CIF RDF encoding.


K. Hui 24/05/02

Icon  Name                    Last modified      Size  Description
[DIR] agents/ 2002-06-26 16:45 - [DIR] launcher/ 2002-06-26 16:45 - [DIR] prolog/ 2002-06-26 16:45 - [TXT] README 2002-05-24 16:55 1.4K