W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

RE: importing and entialment

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>
Message-ID: <NGBBJNKIMLOPPCFHEJEMGELGDAAA.massimo@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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:53 GMT