- From: Massimo Marchiori <massimo@w3.org>
- Date: Wed, 9 Oct 2002 19:32:07 +0200
- To: "Massimo Marchiori" <massimo@w3.org>, <phayes@ai.uwf.edu>, <www-webont-wg@w3.org>
http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0060.html ...and and and..... (sorry I missed another difference... there might be others too, but this is very important, so important I mentioned it time ago at a teleconf when Jeff was proposing to stick this info in the OWL model theory): entailment import, like any solution where import is not transparent to the OWL model theory, complicates the entailment process, making it now dependent on time and on the Web structure. So you get a shorter definition of import, because the operational complexity of the import now goes to complicate the definition of entailment. No free meal... -M
Received on Wednesday, 9 October 2002 13:33:05 UTC