[DL] DL Theory Question

[Ford, Erica Danielle]

Hello,

I am part of a pair of undergraduate students doing a project that involves using a model finder to analyze DL theories. The novelty of my professor's tool is that the model finder allows users to do interesting explorations and manipulations of models.

One task we have is finding interesting examples, especially small examples.   We can mine the TONES repository of course but most of them seem to stay fairly low in the DL expressive hierarchy, so our tool can't show off its novelty.

If anyone has advice about other places to look for complex DL theories I'd be grateful.

Thanks,
Dan Dougherty
Erica Ford
Nick Murray
Worcester Polytechnic Institute