Proposal to close Issue-75

> We have a document called "tractable" fragments, but in fact several  
> fragments listed are not tractable or unknown to be tractable. In  
> particular, these are DLP and Horn-SHIQ.
This issue is moot, given our current fragments document.

-Alan

Received on Sunday, 16 March 2008 23:08:54 UTC