Re: bags of axioms

Matthew,
Sorry a bit swamped, but two questions:
	1) How much would be solved by lifting the URI restriction on the 
ontology element? I think there's already an issue about that.
	2) A while back, I played around with XPointer extensions that could 
encode SPARQL like queries (or DIG like queries). Esp. with a 
reliably fixed source document, this could give you a canonical URI 
for the subset. A simple version would be to add IDs to all your 
axioms and use normalish XPointer.
Cheers,
Bijan.

Received on Thursday, 1 November 2007 16:26:38 UTC

AltStyle によって変換されたページ (->オリジナル) /