- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Thu, 19 Jan 2006 07:55:59 +0100
- To: Bijan Parsia <bparsia@isr.umd.edu>
- Cc: Dan Connolly <connolly@w3.org>, Pat Hayes <phayes@ihmc.us>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
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