W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

Re: cannonical ordering in the XML

From: Matthew Horridge <matthew.horridge@cs.man.ac.uk>
Date: Thu, 13 Sep 2007 11:17:19 +0100
Message-Id: <8C4620E1-67E1-4FDE-9529-DD9B9A0263E9@cs.man.ac.uk>
To: Owl Dev <public-owl-dev@w3.org>

Hi Matthew,

> The spec for owl 1.1 defines equality over expressions. However, I  
> can't see
> where it defines ordering over expressions. The haskell code I've  
> got does
> provide a total ordering over all bits of the owl 1.1 syntax,  
> meaning that I
> always process/serialize statements in a consistent order. This is
> particularly important in the xml serialization, particularly if we  
> wish to
> be able to do diffs.
>
> Have I missed the bit that talks about cannonical orderings? Is  
> there an
> expected (although not required) order in which we should serialize  
> elements
> to xml?

I don't think there is such a document.  Would you be able to  
document your approach and post it to the list?  (I could then add  
this to the OWL API, which already has an axiom comparator, but it  
would be great if there was a more standard approach).

Cheers,

Matthew
Received on Thursday, 13 September 2007 10:17:28 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 10 December 2014 20:07:18 UTC