SuperModel

SuperModel is a plugin for the Protegé 4 ontology editor which generates models for a given concept and ontology, and lets you browse it and add constraints for a new model, which it lets you browse again... The idea behind this is that by seing models for concepts in an ontology, you get to understand the knowledge in it and the way it is encoded. If you would like to know more, check out my thesis. Or give me a shout—but be prepared to wait for a reply: I'm up to my ellbows in getting used to working 9-5 (more like 8-6, but oh, well). Seriously though, I'm happy to hear anyone's still interested in model exploration.

How Do You Use It?

Installation is simple. Get Protegé, download supermodel.jar, and put it in Protegé's plugins directory and you're good to go. One thing though: SuperModel uses modified FaCT++ binaries to generate models. This makes it platform dependend, meaning you can't run it on anything but a Linux x86 or Mac-based system. Sorry. I can give you all the sources and I'll be happy to assist in compiling them for whatever system you need, but I don't have the equipment or time to do it myself.

Contact:

If there's anything you'd like to know about SuperModel, just send me a message to the_real_super_model-at-tatome.de.