Re: Final text for Basic Graph Patterns

On 19 Jan 2006, at 06:50, Bijan Parsia wrote:
> It is also true that the current state of the deployed art,  
> suitable for standardization, is conjunctive abox query alone.  
> There there is a wealth of theory (see ian's and sergio's and  
> enrico's (and others') papers), several reasonably optimized  
> implementations (Racer, Pellet, KAON2, with Racer and KAON2 being  
> commercial...I guess Cerebra also does conjunctive abox query, and  
> it is, of course, commercial, but I'm not very familiar for it).   
> Oh, various subsets of OWL DL (e.g., DL Lite) also fit this model.  
> It would be nice to standards this level so that we can get  
> interoperability between the 4 query implementation. (I imagine FaCT 
> ++ will have something soon).

Indeed. Ah, by the way, I wonder who *really* implements *correctly*  
conjunctive queries with SHIQ (not fact, nor kaon2, nor racer, nor  
cerebra; pellet?).
--e.

Received on Thursday, 19 January 2006 06:56:12 UTC