[DL] DL Theory Question
Ford, Erica Danielle
edford at WPI.EDU
Sun Nov 23 17:28:44 CET 2014
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.
Worcester Polytechnic Institute
More information about the dl