Re: [xml-dev] Does data represent things besides entities, attributes,an

[Rick Jelliffe <rjelliffe@allette.com.au>]

Michael Kay wrote:
>  
> To be honest, I'm not sure how either Abrial or RDF handle the universal
> quantifiers, but hopefully you get the idea. Basically, you're reducing the
> sentence to a set of basic assertions and reducing it to predicate logic in
> a number of variables, where the variables are the entities and the
> predicates are the binary relationships.
>   

This depends on the supposition that our data is facts, doesn't it?  I 
don't think that literature is facts, except by some vacuous definition 
that rules everything in. So a fact-based reduction of XML is not general.

Cheers
Rick Jelliffe