Re: How to derive a consistent set of FOL constraints

Wow, look at that growing cc list.

And I see a quote from an email of mine.

On Mar 5, 2007, at 9:31 PM, John F. Sowa wrote:
[snip]
> > I, as usual, recommend the
> > description logic complexity navigator:
> >    http://www.cs.man.ac.uk/~ezolin/logic/complexity.html
[snip]

But the rest, at least in relation to that quote, is a complete non- 
sequitur. Thus, some of us must be missing some context. May I  
suggest that you either provide context or confine the reply to those  
lists which already have the requisite context? Even a pointer could  
help.

Cheers,
Bijan.