Re: axiom URIs

Sorry - my last post displayed a degree of pique. Didn't mean to throw my 
teddy. Let's start again.

I would like a mechanism to identify an axiom, seperate from any other axioms 
it is associated with.

I would like that identity to be representable as a URI, independent of the 
URI of any OWL document.

I would like that identifier to be independent of the structural identity of 
the axiom, and ideally independent of any structure of the axiom, though the 
converse may not hold (i.e. structural identity may depend upon the 
identifier).

I would like it to be possible to do this totally without going to a 
representation of the axiom in /any/ serializtion format.

I would like any details about how that URI may be associated with axoims with 
different structural identity or different semantic import at different times 
to be up to each community to decide.


As for how this gets serialized in XML or in the functional version, I'd 
prefer it to go on the axiom XML as an attribute, but would settle for it 
being a well-known and well-understood annotation defined in a core OWL 
namespace.

Phew! That was much nicer, and hopefully more constructive.

Matthew

Received on Monday, 5 February 2007 17:10:27 UTC