[DL] DL Theory Question

Pavel Klinov pavel.klinov at uni-ulm.de
Mon Nov 24 15:29:01 CET 2014


Have a look at the Robert Stevens' family history ontology. IIRC, it's
fairly small but uses most of SROIQ features.



On Sun, Nov 23, 2014 at 5:28 PM, Ford, Erica Danielle <edford at wpi.edu> wrote:
> 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
> **  You received this mail via the description logic mailing list; for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.  **
> **  SUBSCRIBE or UNSUBSCRIBE:                                                **
> **              https://mailman.informatik.uni-bremen.de/mailman/listinfo/dl **

More information about the dl mailing list