• From: Rick Jelliffe <rjelliffe@a...>
• To: xml-dev@l...
• Date: Mon, 31 Aug 2009 15:24:48 +1000

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

• Follow-Ups:
  • Re: Does data represent things besides entities,attributes, and relationships?
    • From: "Seth Johnson" <seth.johnson@r...>

• References:
  • Does data represent things besides entities, attributes, andrelationships?
    • From: "Costello, Roger L." <costello@m...>
  • RE: Does data represent things besides entities, attributes, and relationships?
    • From: "Michael Kay" <mike@s...>