SuperModel is the title of the Protégé plugin I developed for my Diploma Thesis.

I call it "SuperModel", because its goal is to present its user possible models for concepts of ontologies (and that's super, of course).

If you are interested in playing with it, follow the instructions on the page of the current version.

Custom Builds, Feature Requests, Feedback etc.

The plugin comes with precompiled binaries of the FaCT++ reasoner for Linux on x86 computers, for MacOS and for Windows. If you would like to use SuperModel on any other architecture or platform, just let me know and we'll figure out how to get things set up for you.

Naturally, I am very much interested in any feedback you can give me on the prototype, be it technical, theoretical or ui related. And I am especially interested to find out in which cases SuperModel is useful. Again, drop me a line.

Full three times must it be: also do not hesitate to contact me if problems arise, if there's something you would like to see in SuperModel, or if you have any questions whatsoever about usage, installation etc. of the plugin.