SuperModel Version 1

This is the home page of SuperModel version 1. For more general information about SuperModel, go here.

Brief Setup Instructions

copy the following file into your $PROTEGE/plugins directory

• supermodel.jar

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"->"SuperModel" 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 and object properties between individuals and click on the "Refresh Button" to get a model incorporating your changes.
• Enjoy!

Since people have been asking: you can download the java source code from here. C++ sourcecode (needed for the binary in the /lib/ directory of the jar file) is available here. As the name or the archive suggests, this is mostly source code for the FaCT++ DL reasoner by Dmitry Tsarkov with a few crude patches by me.

Caveat Utilitor!

This software is just a prototype. It is 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 to concept labels
• Individuals' labels are in an
  • "Added" section of the Types pane if they have just been added, but the "refresh" button has not been pressed,
  • "Pending" section, if they have been added and are valid in the model shown in the graph,
  • "Inferred" section, if they have been plucked from the model for the asserted state of affairs.
• Limited support for complex concepts: complex concepts added to individuals are now shown as "added" in updated models
• '!' buttons next to node labels say that these labels were added deterministically
• '¬' buttons indicate they were added after some nondeterministic decision of the reasoner - clicking one of these buttons will add the negation of the concept to the label.

New Features!

• Shows Blocked Nodes
• Uses Protégé's entity rendering mechanism (and thus the configured rendering mode)

Planned Features

• Known bug: Can't remove incorporated assertions
• Add object properties filter
• Add support for other reasoners (Pellet) than FaCT++
• Lots and lots of additional functionality