- From: R.V.Guha <guha@guha.com>
- Date: Mon, 19 Aug 2002 11:45:12 -0700
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- CC: Richard Fikes <fikes@KSL.Stanford.EDU>, www-rdf-logic@w3.org
Ian, I hope I am not pulling this too much out of context ... but you seem to be implying that somehow an implementation may or may or match up to the semantics? If so, what is the point of the semantics in a practical sense? On a more general note, I've been wondering about the complexity issues involved on the SW. Even with the comparatively more tractable computation afforded by DLs (as compared to FOL), we are still dealing with algorithms that are far from sub-linear. And with millions of axioms distributed around the web, I doubt there is any chance of providing complete inference for the SW ... I'd like to hear your opinion on this. guha Ian Horrocks wrote: >> This situation might be acceptable, even inevitable, for an >> implementation, but is highly undesirable for a semantic >> specification. >> Regards, Ian
Received on Monday, 19 August 2002 14:47:03 UTC