SuperModel Version 0.5
This is the home page of SuperModel version 0.5. For more general information about SuperModel, go here.
Brief Setup Instructions
If FaCT++ is installed, then remove it (any .jar - files in the $PROTEGE/plugins directory whose file names contain "fact++")
copy the following two files into your $PROTEGE/plugins directory
Everything should be as usual, when you start up Protégé. Expect problems if it isn't.
- Select the "Classes" tab.
- In the "View" menu, select "Class views"->"Model Excerpts" and place the plugin pane somewhere in the classes view.
- Select some concept from the asserted or inferred class hierarchy. Now, the plugin pane should come to live and show a graph representing the model excerpt, and the concepts found in the currently selected node.
- Select nodes, drag them around, add concepts to individuals and click on the "Refresh Button" to get a model incorporating your changes.
- Enjoy!
Caveat Utilitor!
This software is just a prototype. It's not even in alpha stage. Expect it to die unexpectedly and, in the worst case, even take some data with it. Backup your valued ontologies!
Features:
- Shows Individuals and their relationships w. each other
- Shows Individuals' named concept labels
- Lets you add concept labels
Planned Features
- Make SuperModel independent of the FaCT++ plugin Protégé is using
- Add support for other reasoners (Pellet) than FaCT++
- Have the Types pane on the right show also complex types
- Fill the Explanation button (question marks next to implied concepts) with life
- Show which labels have been inferred and/or asserted
- Show implicit object properties, like transitive, chains, inverse(?)...
- Let the user delete/forbid labels/un-assert them
- Show which labels are definitely necessary (empty dep-set)
- Lots and lots of additional functionality