- From: Matthew Horridge <matthew.horridge@cs.man.ac.uk>
- Date: Thu, 13 Sep 2007 11:17:19 +0100
- 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