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