Re: Imports issue

Peter F. Patel-Schneider wrote:
> From: Guus Schreiber <schreiber@swi.psy.uva.nl>
> Subject: IImports issue
> Date: Thu, 20 Feb 2003 00:26:57 +0100
> 
> 
>>I'm feeling increasingly uncomfortable about our "imports" resolution 
>>(see the discussion threads cited in the agenda).
>>
>>Unless we get in the very near future clear evidence this is an 
>>implementable language feature, I will have to reopen this issue and 
>>propose to give imports the same informnal status as the versioning stuff.
> 
> 
> Huh?  
> 
> To implement imports, it suffices to modify an RDF/XML processor as
> follows:
> 
>    Whenever an imports triple is found, first check to the if the object of
>    the triple has been imported already.   If not, get the document that is
>    pointed to by the object of the triple and run it through the RDF/XML
>    processor.  Then merge the result with the current graph.  Only a very
>    small amount of care is required to prevent loops.
> 
> What could be easier?
> 
> What is currently being argued about is how imports interacts with OWL Lite
> and OWL DL, i.e., what documents containing imports count as an OWL Lite or
> OWL DL document.
> 
> 
>>Note that responses of the type "this is a useful/necessary feature" are 
>>not helpful at this point. 
> 
> 
>>If we cannot show that imports  can be 
>>implemented, we will not be able to go to Proposed Rec with the OWL spec 
>>as it stands. 
> 
> 
> This is crazy!  Who has claimed that imports is not implementable!
> 

I knew I wasn't going to win a popularity contest with my previous 
message. Please note that I'm simply taking my responasibility as a 
chair. This is an issue with considerable outstanding dissent, so we 
better make absolutely sure the design works in practice. If that's the 
case, all the better, but let's show it then.

Guus

> 
>>We would all hate toi see that happen.
>>
>>Guus
> 
> 
> peter
> 
> 

-- 
A. Th. Schreiber, SWI, University of Amsterdam,
http://www.swi.psy.uva.nl/usr/Schreiber/home.html

Received on Thursday, 20 February 2003 04:00:56 UTC