We are doing work on semantic annotations based on type theoretic principles, though it's not particularly related to XML schema. We just had a paper accepted at MODELS that we can send along if you are interested.
Jackie: It seems that XML schema could form another composite type that we could provide generic infrastructure for. Edward Chris Weed wrote: > Hi, > I am interested in knowing what others are doing with semantic > annotation and XML schema validation for consistency checking of input > and output XML tokens. > These alternative technologies seems to have overlapping > functionality, but as far as I can tell are not integrated with each > other in Kepler. > Could an XML schema be integrated into an output XML port description? > Any thoughts? > Chris > _______________________________________________ > Kepler-users mailing list > Kepler-users at kepler-project.org > http://mercury.nceas.ucsb.edu/kepler/mailman/listinfo/kepler-users -------------- next part -------------- A non-text attachment was scrubbed... Name: eal.vcf Type: text/x-vcard Size: 351 bytes Desc: not available URL: <http://mercury.nceas.ucsb.edu/kepler/pipermail/kepler-users/attachments/20090630/0f4f1ff6/attachment.vcf>
